20 childs [ label ] = end ; 21 } 22 NodeA * NodeA : : get ( i n t label ) { 23 r e t u r n childs [ label ] ; 24 } Complexity Given n values, a base b and if d digits are required for representing the biggest element, the complexity of the radix sort is given by O(d(n + b) In today's computer, the radix sort is often encoded using a base 2 8 = 256, thus since the numbers are encode into 32 or 64 bits, we obtain d = log 64 ) = 8. Thus for sorting n number, it usualy cost 4(n + 256) = 4n + 1024. This complexity implies that the choice of the base depends strongly on the maximal value and on the number of values. Sorting 4 integers encoded in 32 bits is not efficient using a radix sort, but for sorting hundreds or millions of them, the radix sort is recommended, 32 ) = 4 ord = log 256, 2001. ,
The design and analysis of computer algorithms. Pearson Education India, Bibliography, 1974. ,
Binary decision diagrams, IEEE Trans. Computers, vol.27, issue.17, pp.509-516, 1978. ,
Maintaining Knowledge about Temporal Intervals, Commun. ACM, vol.26, issue.11, pp.832-843, 1983. ,
A Constraint Store Based on Multivalued Decision Diagrams, CP, pp.118-132, 2007. ,
DOI : 10.1007/978-3-540-74970-7_11
Markov Constraints for Generating Lyrics with Style, ECAI, pp.115-120, 2012. ,
Deriving Filtering Algorithms from Constraint Checkers, CP'04, pp.107-122, 2004. ,
DOI : 10.1007/978-3-540-30201-8_11
URL : http://eprints.sics.se/2346/01/SICS-T--2004-08--SE.pdf
Cost Evaluation of Soft Global Constraints, International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, pp.80-95, 2004. ,
DOI : 10.1007/978-3-540-24664-0_6
Global Constraint Catalogue: Past, Present and Future, Constraints, vol.2, issue.1, pp.21-62, 2007. ,
DOI : 10.1007/978-3-540-24664-0_5
URL : http://www.emn.fr/x-info/tpetit/constraints0607.pdf
Manipulating MDD Relaxations for Combinatorial Optimization, CPAIOR, pp.20-35, 2011. ,
DOI : 10.1137/0601042
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=2386&context=tepper
Parallel Combinatorial Optimization with Decision Diagrams, International Conference on AI and OR Techniques in Constriant Programming for Combinatorial Optimization Problems, pp.351-367, 2014. ,
DOI : 10.1007/978-3-319-07046-9_25
URL : http://www.cs.toronto.edu/%7Ehorst/cogrobo/papers/ParallelDD.pdf
MDD Propagation for sequence Constraints, Journal of Artificial Intelligence Research, vol.14, pp.697-722, 2014. ,
DOI : 10.1007/978-3-319-42849-9_10
Multiobjective Optimization by Decision Diagrams, pp.86-95, 2016. ,
DOI : 10.1016/j.swevo.2011.03.001
Decision Diagrams for Optimization, 2016. ,
DOI : 10.1007/978-3-319-42849-9
Arc consistency for general constraint networks: preliminary results, pp.43-151, 1997. ,
Refining the Basic Constraint Propagation Algorithm, Proceedings of IJCAI'01, pp.309-315, 2001. ,
Disjoint, partition and intersection constraints for set and multiset variables, International Conference on Principles and Practice of Constraint Programming, pp.138-152, 2004. ,
An optimal coarse-grained arc consistency algorithm, Artificial Intelligence, vol.165, issue.2, pp.165-185, 2005. ,
DOI : 10.1016/j.artint.2005.02.004
The Balance Constraint Family, Principles and Practice of Constraint Programming -20th International Conference Proceedings, pp.174-189, 2014. ,
DOI : 10.1007/978-3-319-10428-7_15
URL : https://hal.archives-ouvertes.fr/lirmm-01067459
XCSP3: An integrated format for benchmarking combinatorial constrained problems, 2016. ,
Efficient implementation of a BDD package, Proceedings of the 27th ACM, pp.40-45, 1991. ,
An efficient representation for sparse sets, ACM Letters on Programming Languages and Systems, vol.2, issue.1-4, pp.59-69, 1993. ,
DOI : 10.1145/176454.176484
URL : http://www.cs.rice.edu/MSCP/papers/loplas.sets.ps.gz
An Experiment in Musical Composition, Electronic Computers IRE Transactions on, issue.3, pp.175-182, 1957. ,
Graph-based algorithms for boolean function manipulation. Computers, IEEE Transactions on, vol.100, issue.14, pp.677-691, 1986. ,
Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys (CSUR), vol.24, issue.6, pp.293-318, 1992. ,
Increasing constraint propagation by redundant modeling: an experience report, Constraints, vol.4, issue.2, pp.167-192, 1999. ,
DOI : 10.1023/A:1009894810205
Constrained decision diagrams, Proceedings of the National Conference on Artificial Intelligence, p.366, 2005. ,
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints, CP, pp.509-523, 2008. ,
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints, Constraints, vol.177, issue.2???3, pp.154-165, 2010. ,
DOI : 10.1007/s10601-009-9087-y
Space-Time Tradeoffs for the Regular Constraint, CP, pp.223-237, 2012. ,
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets, International Conference on Principles and Practice of Constraint Programming, pp.207-223, 2016. ,
DOI : 10.1007/978-3-642-40627-0_53
URL : http://arxiv.org/pdf/1604.06641
Thierry Petit and Charles Prud'homme. A Global Constraint for a Tractable Class of Temporal Optimization Problems, Principles and Practice of Constraint Programming ? CP 2015, pp.105-120, 2015. ,
Onset detection revisited, Proceedings of the 9th International Conference on Digital Audio Effects, pp.133-137, 2006. ,
Quad trees a data structure for retrieval on composite keys, Acta informatica, vol.4, issue.1, pp.1-9, 1974. ,
Matrix modelling, Proc. of the CP-01 Workshop on Modelling and Problem Formulation, 2001. ,
Global Cut Framework for Removing Symmetries, Principles and Practice of Constraint Programming -CP 2001, 7th International Conference Proceedings, pp.77-92, 2001. ,
DOI : 10.1007/3-540-45578-7_6
Camera-on-rails, Proceedings of the 8th ACM SIGGRAPH Conference on Motion in Games, SA '15, 2015. ,
DOI : 10.1145/2668064.2668101
URL : https://hal.archives-ouvertes.fr/hal-01220119
Continuity Editing for 3D Animation, AAAI Conference on Artificial Intelligence, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01088561
MDD propagators with explanation, Constraints, vol.14, issue.3, pp.407-429, 2011. ,
DOI : 10.1007/s10601-008-9064-x
URL : http://ww2.cs.mu.oz.au/~pjs/papers/incpaper.pdf
Explaining Propagators for Edge-Valued Decision Diagrams, Principles and Practice of Constraint Programming, pp.340-355, 2013. ,
DOI : 10.1007/978-3-642-40627-0_28
URL : http://ww2.cs.mu.oz.au/~pjs/papers/cp2013e.pdf
Data Structures for Generalised Arc Consistency for Extensional Constraints, Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, pp.191-197, 2007. ,
Sets and Binary Relation Variables Viewed as Constrained Objects, ICLP Workshop on Logic Programming with Sets, 1993. ,
Tonal Description of Music Audio Signals, 2006. ,
Fast backtrack-free product configuration using a precompiled solution space representation, small, vol.10, issue.59, pp.3-14, 2004. ,
Approximate Compilation of Constraints into Multivalued Decision Diagrams, CP, pp.448-462, 2008. ,
DOI : 10.1007/978-3-540-85958-1_30
CSPLib Problem 010: Social Golfers Problem. http://www.csplib.org/Problems/prob010 ,
A Systematic Approach to MDD-Based Constraint Programming, CP, pp.266-280, 2010. ,
DOI : 10.1007/978-3-642-15396-9_23
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=2392&context=tepper
Integrated methods for optimization, 2007. ,
Decision diagrams and dynamic programming, International Conference on AI and OR Techniques in Constriant Programming for Combinatorial Optimization Problems, pp.94-110, 2013. ,
Automata theory, languages, and computation, International Edition, vol.24, 2006. ,
The stockingcost constraint, International Conference on Principles and Practice of Constraint Programming, pp.382-397, 2014. ,
Speech and language processing, pp.130-238, 2014. ,
A Compression Algorithm for Large Arity Extensional Constraints, Proc. CP'07, pp.379-393, 2007. ,
DOI : 10.1007/978-3-540-74970-7_28
A parallel algorithm for constructing binary decision diagrams, Computer Design: VLSI in Computers and Processors ICCD'90. Proceedings, 1990 IEEE International Conference on, pp.220-223, 1990. ,
The art of computer programming Combinatorial algorithms, part 1. Pearson Education India, 2011. ,
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs, IJCAI, pp.332-338, 2015. ,
Edge-valued binary decision diagrams for multi-level hierarchical verification, Proceedings of the 29th ACM/IEEE Design Automation Conference, pp.608-613, 1992. ,
DOI : 10.1109/dac.1992.227813
A Path-Optimal GAC Algorithm for Table Constraints, ECAI, pp.510-515, 2012. ,
DOI : 10.1016/j.artint.2014.12.002
URL : https://hal.archives-ouvertes.fr/hal-00873051
Propagating Soft Table Constraints, Principles and Practice of Constraint Programming, pp.390-405, 2012. ,
DOI : 10.1007/978-3-642-33558-7_30
URL : https://hal.archives-ouvertes.fr/hal-00865618
STR3: A path-optimal filtering algorithm for table constraints, Artificial Intelligence, vol.220, pp.1-27, 2015. ,
DOI : 10.1016/j.artint.2014.12.002
A Fast Arc Consistency Algorithm for n-ary Constraints, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, pp.405-410, 2005. ,
Expressive Concatenative Synthesis by Reusing Samples from Real Performance Recordings, Computer Music Journal, vol.23, issue.3, pp.23-42, 2009. ,
DOI : 10.1109/TIT.1967.1054010
URL : http://mtg.upf.edu/files/publications/Maestre-et-al-CMJ-2009.pdf
An Optimal Filtering Algorithm for Table Constraints, Principles and Practice of Constraint Programming, pp.496-511, 2012. ,
DOI : 10.1007/978-3-642-33558-7_37
URL : http://www.info.ucl.ac.be/people/YDE/Papers/cp2012_table.pdf
The Smart Table Constraint, International Conference on AI and OR Techniques in Constriant Programming for Combinatorial Optimization Problems, pp.271-287, 2015. ,
DOI : 10.1007/978-3-319-18008-3_19
Two-dimensional pickup and delivery routing problem with loading constraints, First CPAIOR Workshop on Bin Packing and Placement Constraints (BPPC'08), 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00363126
Implementing a multiplevalued decision diagram package, Multiple-Valued Logic Proceedings . 1998 28th IEEE International Symposium on, pp.52-57, 1998. ,
DOI : 10.1109/ismvl.1998.679287
Good Old Discrete Relaxation, Proceedings of ECAI-88, pp.651-656, 1988. ,
URL : https://hal.archives-ouvertes.fr/inria-00548479
Comparison of data structures for storing Pareto-sets in MOEAs, Evolutionary Computation CEC'02. Proceedings of the 2002 Congress on, pp.843-848, 2002. ,
On Chebyshev-Type Inequalities for Primes, The American Mathematical Monthly, vol.89, issue.2, pp.126-129, 1982. ,
DOI : 10.2307/2320934
Finite-length Markov processes with constraints. transition, p.14, 2001. ,
Parallel Strategies Selection, International Conference on Principles and Practice of Constraint Programming, pp.388-404, 2016. ,
DOI : 10.1007/978-3-319-18008-3_30
URL : http://arxiv.org/pdf/1604.06484
Avoiding Plagiarism in Markov Sequence Generation, Proceeding of the Twenty- Eight AAAI Conference on Artificial Intelligence, pp.2731-2737, 2014. ,
Exact Sampling for Regular and Markov Constraints with Belief Propagation, International Conference on Principles and Practice of Constraint Programming, pp.341-350, 2015. ,
DOI : 10.1007/978-3-319-23219-5_24
Reservoir Geophysics, pp.140-243, 2001. ,
Improving GAC-4 for Table and MDD Constraints, Principles and Practice of Constraint Programming -20th International Conference. Proceedings, pp.606-621, 2014. ,
DOI : 10.1007/978-3-319-10428-7_44
URL : https://hal.archives-ouvertes.fr/hal-01344079
Efficient operations on MDDs for building constraint programming models, International Joint Conference on Artificial Intelligence, IJCAI-15, pp.11-184, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01344084
Relations between MDDs and Tuples and Dynamic Modifications of MDDs based constraints . arXiv preprint, 2015. ,
Constructions and In-Place Operations for MDDs Based Constraints, Integration of AI and OR Techniques in Constraint Programming, pp.279-293, 2016. ,
DOI : 10.1007/978-3-319-33954-2_20
URL : https://hal.archives-ouvertes.fr/hal-01344087
MDDs are Efficient Modeling Tools: An Application to Dispersion Constraints, Integration of AI and OR Techniques in Constraint Programming, p.2017, 2017. ,
DOI : 10.1007/978-3-319-59776-8_3
MDDs: Sampling and Probability Constraints, Principles and Practice of Constraint Programming, p.2017, 2017. ,
DOI : 10.1007/978-3-319-44953-1_49
Soft and Cost MDD Propagators, AAAI Conference on Artificial Intelligence, pp.11-140, 2017. ,
Or-toolsCP Solvers: Modeling, Applications , Integration, and Standardization, pp.2013-177, 2013. ,
A Regular Language Membership Constraint for Finite Sequences of Variables, Proc. CP'04, pp.482-495, 2004. ,
DOI : 10.1007/978-3-540-30201-8_36
SPREAD: A Balancing Constraint Based on Statistics, CP'05, pp.460-474, 2005. ,
DOI : 10.1007/11564751_35
Specific Filtering Algorithms for Over-Constrained Problems, Principles and Practice of Constraint Programming?CP, pp.451-463, 2001. ,
DOI : 10.1007/3-540-45578-7_31
URL : http://www.lirmm.fr/~tpetit/./cp2001-1.ps
Global Grammar Constraints, CP'06, pp.751-755, 2006. ,
DOI : 10.1007/11889205_64
URL : http://www.cse.unsw.edu.au/~tw/qwcp06.pdf
A large neighbourhood search approach to??the?? multi-activity shift scheduling problem, Journal of Heuristics, vol.10, issue.2, pp.373-392, 2010. ,
DOI : 10.1057/jors.1993.198
Finite automata and their decision problems, IBM journal of research and development, vol.3, issue.2, pp.114-125, 1959. ,
Generalized Arc Consistency for Global Cardinality Constraint, pp.209-215, 1996. ,
Statistical Constraints, ECAI 2014 -21st European Conference on Artificial Intelligence Czech Republic - Including Prestigious Applications of Intelligent Systems, pp.777-782, 2014. ,
Enforcing Structure on Temporal Sequences: The Allen Constraint, International Conference on Principles and Practice of Constraint Programming, pp.786-801, 2016. ,
DOI : 10.1007/11889205_64
Configuration as composite constraint satisfaction, Proceedings of the Artificial Intelligence and Manufacturing Research Planning Workshop, pp.153-161, 1996. ,
The Deviation Constraint, CPAIOR'07, pp.260-274, 2007. ,
Future and trends of constraint programming, chapter Simplification and extension of the SPREAD Constraint, ISTE, pp.95-99, 2007. ,
Bound- Consistent Deviation Constraint In Principles and Practice of Constraint Programming -CP, 13th International Conference Proceedings, pp.620-634, 2007. ,
Scalable Load Balancing in Nurse to Patient Assignment Problems, International Conference on AI and OR Techniques in Constriant Programming for Combinatorial Optimization Problems, pp.248-262, 2009. ,
DOI : 10.1007/s10601-006-9011-7
Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem, Principles and Practice of Constraint Programming, pp.815-822 ,
DOI : 10.1007/978-3-642-33558-7_58
URL : https://hal.archives-ouvertes.fr/hal-01344066
Bound-consistent spread constraint, EURO Journal on Computational Optimization, vol.12, issue.4, 2014. ,
DOI : 10.1007/s10601-006-9011-7
URL : https://hal.archives-ouvertes.fr/hal-01345924
Incremental construction of compact acyclic NFAs, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics, pp.482-489, 2001. ,
A symbolic analysis of relay and switching circuits, Electrical Engineering, vol.57, issue.12, pp.713-723, 1938. ,
Algorithms for discrete function manipulation ICCAD-90, Computer-Aided Design IEEE International Conference on, pp.92-95, 1990. ,
DOI : 10.1109/iccad.1990.129849
Implementation of an efficient parallel BDD package, Proceedings of the 33rd annual Design Automation Conference, pp.641-644, 1996. ,