Find link

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 (269 total)

List of JavaScript libraries (186 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

Stable 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 Science

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

Franç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)

Subgraph isomorphism problem (1,857 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 propagation

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

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

María García de la Banda (284 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, Monash

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

Backtracking (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 30

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

Zebra Puzzle (785 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

Bart Selman (654 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

Knowledge-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 Configuration

Automated 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 intelligence

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,067 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

Deepak 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). "Comprehensive

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 (5,360 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

Maximum common induced subgraph (951 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, September

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

Galois connection (4,177 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

Constraint (computer-aided design) (1,144 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 (874 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,769 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

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

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

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

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: