Find link

constraint programming not in Sudoku solving algorithms

language:

Find link is a tool written by Edward Betts.

Longer titles found: Janus (concurrent constraint programming language) (view)

searching for constraint programming 46 found (272 total)

List of JavaScript libraries (187 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 MooTools Prototype JavaScript Framework

Sudoku solving algorithms (1,945 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 Kuchcinski

Jean-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–1999

Philippe Baptiste (4,439 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, Christoph

Symposium on Combinatorial Search (382 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 bioinformatics

Black Hole (card game) (469 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-226

Stable roommates problem (2,231 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 Science

François Fages (779 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)

Playlist (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, VA

School 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 Notes

List of programming languages for artificial intelligence (1,278 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 programming

Vehicle routing problem (3,114 words) [view diff] case mismatch in snippet view article find links to article

(2018). "A Constraint Programming Approach for Solving Patient Transportation Problems". Principles and Practice of Constraint Programming. 11008: 490–506

Alain Colmerauer (620 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 sciences

Krzysztof 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-2

Ami 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, Springer

Alan 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 Award

Université de Namur (1,191 words) [view diff] exact match in snippet view article find links to article

preservationist, politician and entrepreneur Pascal Van Hentenryck, constraint programming and optimization theorist, director of the United States' National

Backtracking (1,971 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 30

Bart Selman (664 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. Towards

Zebra Puzzle (793 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 Computation

Knowledge-based configuration (1,582 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 Configuration

Automated planning and scheduling (2,425 words) [view diff] exact match in snippet view article find links to article

planning Scheduling (computing) Strategy (game theory) Lists List of constraint programming languages List of emerging technologies List of SMT solvers Outline

Carla 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 American

Binary decision diagram (3,109 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. 816

Mark 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, October

Mathematics of Sudoku (2,295 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) Sudoku

List of educational programming languages (3,589 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 important

Guided local search (1,546 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-objective

CALO (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 Transfer

Boolean satisfiability problem (4,824 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–558

Deepak Kapur (1,936 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). "Comprehensive

Maximum common induced subgraph (950 words) [view diff] case mismatch in snippet view article find links to article

Common (Connected) Subgraph Problems", Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September

Galois connection (4,176 words) [view diff] case mismatch in snippet view article find links to article

al. 2003, p. 23. Bistarelli, Stefano (2004). "8. Soft Concurrent Constraint Programming". Semirings for Soft Constraint Solving and Programming. Lecture

Linear programming (6,690 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 as

Constraint (computer-aided design) (1,138 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-Wesley

Graph homomorphism (4,860 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, USA

EU/ME, the metaheuristics community (886 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-adaptive

True quantified Boolean formula (3,846 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_32

Lattice protein (1,998 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 extended

AltaRica (3,055 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 inefficient

Probabilistic context-free grammar (5,242 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 Computer

Nucleic acid structure prediction (4,806 words) [view diff] exact match in snippet view article find links to article

multiple stable structures. This is a MAX-SNP-hard problem, but constraint programming and hard limits keep the runtime practical. No matter which joint

B-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 of

Paris Kanellakis (3,747 words) [view diff] case mismatch in snippet view article find links to article

S2CID 7482415. Freuder, Eugene C., ed. (1996a). Principles and Practice of Constraint Programming — CP96. Lecture Notes in Computer Science. Vol. 1118. Springer.

Guo Yike (919 words) [view diff] exact match in snippet view article find links to article

Imperial College London Hong Kong Baptist University Shanghai University Thesis Definitional constraint programming (1994) Doctoral advisor John Darlington

Lexicographic max-min optimization (4,059 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: