language:
Find link is a tool written by Edward Betts.Longer titles found: Janus (concurrent constraint programming language) (view)
searching for Constraint programming 43 found (259 total)
alternate case: constraint programming
List of JavaScript libraries
(196 words)
[view diff]
no match in snippet
view article
find links to article
This is a list of notable JavaScript libraries. Cassowary (software) CHR.js Google Polymer Dojo Toolkit jQuery midori MooTools Prototype JavaScript FrameworkSudoku solving algorithms (1,927 words) [view diff] case mismatch in snippet view article find links to article
Conference on Principles and Practice of Constraint Programming Multiple Authors. "Java Constraint Programming solver" (Java). JaCoP. Krzysztof KuchcinskiJean-Pierre Jouannaud (615 words) [view diff] case mismatch in snippet view article find links to article
1993–1997, International Conference on Principles and Practice of Constraint Programming (CP) since 1994, and Federated Logic Conference (FLoC) 1995–1999Philippe Baptiste (4,405 words) [view diff] case mismatch in snippet view article find links to article
Nuijten: Constraint-Based Scheduling and Planning. Handbook of Constraint Programming 2006: 761-799 Philippe Baptiste, Peter Brucker, Marek Chrobak, ChristophStable roommates problem (2,222 words) [view diff] case mismatch in snippet view article find links to article
(2014). "Stable Roommates and Constraint Programming" (PDF). Integration of AI and OR Techniques in Constraint Programming. Lecture Notes in Computer ScienceSymposium on Combinatorial Search (395 words) [view diff] exact match in snippet view article find links to article
search, including artificial intelligence, planning, robotics, constraint programming, meta-reasoning, operations research, navigation, and bioinformaticsBlack Hole (card game) (471 words) [view diff] case mismatch in snippet view article
"Search in the Patience Game `Black Hole'", AI Communications - Constraint Programming for Planning and Scheduling archive Volume 20 Issue 3, Pages 211-226Subgraph isomorphism problem (1,837 words) [view diff] exact match in snippet view article find links to article
Solver (McCreesh, Prosser & Trimble (2020)). This solver adopts a constraint programming approach, using bit-parallel data structures and specialized propagationPlaylist (1,365 words) [view diff] case mismatch in snippet view article find links to article
Programs Archived May 9, 2012, at the Wayback Machine. Proceedings of Constraint Programming Conference, CP 99, LNCS 1713/2004, pages 331–345, Washington, VAFrançois Fages (683 words) [view diff] case mismatch in snippet view article find links to article
Narendra Jussien; Barry A. O'Sullivan (25 May 2007). Trends in Constraint Programming. Wiley. ISBN 978-1-905209-97-2. John Mylopoulos; Ray Reiter (1991)List of programming languages for artificial intelligence (1,130 words) [view diff] exact match in snippet view article find links to article
special-purpose language for Cyc. Glossary of artificial intelligence List of constraint programming languages List of computer algebra systems List of logic programmingSchool timetable (1,074 words) [view diff] case mismatch in snippet view article find links to article
Timetabling". In Hebrard, Emmanuel; Musliu, Nysret (eds.). Integration of Constraint Programming, Artificial Intelligence, and Operations Research. Lecture NotesAlain Colmerauer (498 words) [view diff] case mismatch in snippet view article find links to article
status unknown (link) "Research Excellence Award". Association for Constraint Programming. Retrieved 19 May 2017. "Alain Colmerauer". Académie des sciencesBacktracking (1,986 words) [view diff] case mismatch in snippet view article find links to article
2006). "Constraint Satisfaction: An Emerging Paradigm". Handbook of Constraint Programming. Amsterdam: Elsevier. p. 14. ISBN 978-0-444-52726-4. Retrieved 30Zebra Puzzle (788 words) [view diff] case mismatch in snippet view article find links to article
Little; Cormac Gebruers; Derek Bridge & Eugene Freuder. "Capturing Constraint Programming Experience: A Case-Based Approach" (PDF). Cork Constraint ComputationAmi Radunskaya (866 words) [view diff] case mismatch in snippet view article find links to article
Scales" (PDF), International Conference on Principles and Practice of Constraint Programming (CP 2016), Lecture Notes in Computer Science, vol. 9892, SpringerKnowledge-based configuration (1,579 words) [view diff] case mismatch in snippet view article find links to article
Palgrave Macmillan, 2006. F. Rossi, P. Van Beek, T. Walsh, Handbook of Constraint Programming, Elsevier, 2006. U. Blumöhr, M. Münch, M. Ukalovic, Variant ConfigurationMaría García de la Banda (273 words) [view diff] case mismatch in snippet view article find links to article
deputy dean of research. She was president of the Association for Constraint Programming for 2020. "Maria Garcia De La Banda Garcia", Personal profile, MonashAlan Mackworth (412 words) [view diff] case mismatch in snippet view article find links to article
Award, the AAAI Distinguished Service Award, the Association for Constraint Programming Award for Research Excellence and the Lifetime Achievement AwardAutomated planning and scheduling (2,247 words) [view diff] exact match in snippet view article find links to article
(computing) Strategy (game theory) Lists List of SMT solvers List of constraint programming languages List of emerging technologies Outline of artificial intelligenceBart Selman (650 words) [view diff] case mismatch in snippet view article find links to article
Bessiere. Proc. 10th Intl. Conf. on Principles and Practice of Constraint Programming (CP-04), Toronto, Ont., 2005. Distinguished Paper Award. TowardsKrzysztof R. Apt (1,004 words) [view diff] case mismatch in snippet view article find links to article
ISBN 978-0-13-230368-2. S2CID 46574027. — (2003). Principles of Constraint Programming. Cambridge University Press. doi:10.1017/CBO9780511615320. ISBN 978-0-521-82583-2Binary decision diagram (2,879 words) [view diff] case mismatch in snippet view article find links to article
the Tenth International Conference on Principles and Practice of Constraint Programming. Lecture Notes in Computer Science. Vol. 3258. Springer. p. 816Carla Gomes (665 words) [view diff] exact match in snippet view article find links to article
and the integration of techniques from artificial intelligence, constraint programming, and operations research". She was elected a Fellow of the AmericanMathematics of Sudoku (2,391 words) [view diff] case mismatch in snippet view article find links to article
difference-map algorithm also solves Sudoku Sudoku Puzzle — an Exercise in Constraint Programming and Visual Prolog 7 by Carsten Kehler Holst (in Visual Prolog) SudokuCALO (2,566 words) [view diff] case mismatch in snippet view article find links to article
Khatib, L. and N. Yorke-Smith. Proceedings of ICAPS'05 Workshop on Constraint Programming for Planning and Scheduling, Monterey, CA, June 2005. To TransferGuided local search (1,534 words) [view diff] case mismatch in snippet view article find links to article
and optimisation, has also been implemented in the Computer-Aided Constraint Programming project. Alsheddy (2011) extended guided local search to multi-objectiveMaximum common induced subgraph (721 words) [view diff] case mismatch in snippet view article find links to article
(Connected) Subgraph Problems" (PDF), Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, SeptemberBoolean satisfiability problem (5,312 words) [view diff] case mismatch in snippet view article find links to article
"Propagation = Lazy Clause Generation", Principles and Practice of Constraint Programming – CP 2007, Lecture Notes in Computer Science, vol. 4741, pp. 544–558Mark S. Fox (1,014 words) [view diff] case mismatch in snippet view article find links to article
5–8, 1990. p. 413 Gert Smolka (1997) Principles and Practice of Constraint Programming - CP97: Third International Conference, CP97, Linz, Austria, OctoberList of educational programming languages (3,798 words) [view diff] exact match in snippet view article find links to article
integers and exact rational numbers. It is based upon concurrent constraint programming. Curry is a teaching language designed to amalgamate the most importantLinear programming (6,398 words) [view diff] exact match in snippet view article find links to article
integer, and nonlinear optimization models. It also offers a tool for constraint programming. Algorithm, in the forms of heuristics or exact methods, such asConstraint (computer-aided design) (1,141 words) [view diff] case mismatch in snippet view article
University Graduate School of Design. Craig, Iain (January 1989). "Constraint Programming Languages: Their Specification And Generation by Wm Leler Addison-WesleyGraph homomorphism (4,799 words) [view diff] case mismatch in snippet view article find links to article
logics", in Van Hentenryck, Pascal (ed.), Principles and Practice of Constraint Programming – CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USAEU/ME, the metaheuristics community (826 words) [view diff] case mismatch in snippet view article find links to article
Lithuania) EU/MEeting 2006 on Combination of Metaheuristics and LS with Constraint Programming techniques (Nantes, France) EU/MEeting 2006 on Adaptive, Self-adaptiveDeepak Kapur (1,921 words) [view diff] case mismatch in snippet view article find links to article
Parametric Polynomial Equations in". Principles and Practices of Constraint Programming. CiteSeerX 10.1.1.39.9091. Kapur, D. (February 2017). "ComprehensiveTrue quantified Boolean formula (3,567 words) [view diff] case mismatch in snippet view article find links to article
On Deciding MUS Membership with QBF. Principles and Practice of Constraint Programming – CP 2011. Vol. 6876. pp. 414–428. doi:10.1007/978-3-642-23786-7_32Probabilistic context-free grammar (5,143 words) [view diff] case mismatch in snippet view article find links to article
Weighted CFG Constraint". Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Lecture Notes in ComputerAltaRica (3,059 words) [view diff] exact match in snippet view article find links to article
programming taking inspiration of the modeling language Lustre, and constraint programming. This last technology, though elegant and powerful, proved inefficientLattice protein (1,990 words) [view diff] exact match in snippet view article find links to article
Backofen R, Will S, Bornberg-Bauer E (March 1999). "Application of constraint programming techniques for structure prediction of lattice proteins with extendedB-Prolog (2,583 words) [view diff] exact match in snippet view article find links to article
small auxiliary recursive predicates for loops. The emergence of constraint programming constructs such as CLP(FD) has further revealed this weakness ofParis Kanellakis (3,732 words) [view diff] case mismatch in snippet view article find links to article
S2CID 7482415. Freuder, Eugene C., ed. (1996). Principles and Practice of Constraint Programming — CP96. Lecture Notes in Computer Science. Vol. 1118. Springer.Lexicographic max-min optimization (3,931 words) [view diff] case mismatch in snippet view article find links to article
O (N logn)". In Smolka, Gert (ed.). Principles and Practice of Constraint Programming-CP97. Lecture Notes in Computer Science. Vol. 1330. Berlin, Heidelberg: