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 43 found (259 total)

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 Framework

Sudoku 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 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,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, Christoph

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

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

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

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)

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 programming

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

Alain 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 sciences

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

Zebra 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 Computation

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

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

Marí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, Monash

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

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

Bart 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. Towards

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

Binary 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. 816

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

Mathematics 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) Sudoku

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

Guided 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-objective

Maximum 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, September

Boolean 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–558

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

List 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 important

Linear 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 as

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

Graph 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, USA

EU/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-adaptive

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

True 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_32

Probabilistic 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 Computer

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

Lattice 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 extended

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