Solvers & Languages / Libraries
- Catalogue of CP Tools
- AIMMS mathematical modelling language, with a CP backend
- AMPL, a modelling language for mathematical programming, with a CP backend
- B-Prolog, for constraint logic programming
- CHIP
- CHOCO, a Java library for CP
- CHR, Constraint Handling Rules
- Comet, a modelling & search language with CP, MIP, and CBLS backends (marketed by Dynadec)
- CPViz, an open-source visualization toolkit for finite-domain CP
- EasyLocal++, a flexible framework for local search algorithms
- ECLiPSe, for constraint logic programming
- Essence, a constraint modelling language
- FaCiLe, the Functional Constraint Library (Objective Caml)
- Gecode, the GEneric COnstraint Development Environment, a C++ library for CP
- GNU Prolog, for constraint logic programming
- Google CP Solver, a Python library for CP
- IBM ILOG CPLEX CP Optimizer
- IBM ILOG CPLEX Optimization Studio, based on OPL (Optimization Programming Language), with CP and MIP backends
- IF Prolog, for constraint logic programming
- JaCoP, the Java Constraint Programming solver, a Java library for CP
- LIONsolver, a local search solver that learns from its previous attempts and from human feedback
- LocalSolver, a CBLS solver
- Microsoft Solver Foundation
- Minion, a black-box constraint solver for matrix models
- MiniZinc, a medium-level constraint modelling language
- MCP, the Monadic Constraint Programming framework (Haskell)
- Mozart Programming System, an advanced development platform for intelligent, distributed applications
- NCL, the Natural Constraint Language
- NumberJack, a constraint modelling package written in Python, with CP, MIP, and SAT backends
- Realpaver, nonlinear constraint solving and rigorous global optimisation
- OscaR, a Scala toolkit to solve Operations Research problems, with CB, CBLS, and MIP backends
- SCIP, Solving Constraint Integer Programs
- s-COMMA, a UML-like constraint modelling language, with several CP backends
- SICStus Prolog (documentation of v4), for constraint logic programming
- SIMPL, a hybrid solver with CP, MIP, and global optimisation features
- Tailor, a tool for translating Essence' into Gecode or Minion models
|
- AAAI, the Association for the Advancement of Artificial Intelligence
- ACM SIGART, the ACM Special Interest Group on Artificial Intelligence
- ACP, the Association for Constraint Programming (Yahoo! discussion group)
- AFPC, l'Association Française pour la Programmation par Contraintes
- ALP, the Association for Logic Programming
- CPNA, the Constraint Programming Society in North America
- ECCAI, the European Coordinating Committee for Artificial Intelligence
- ERCIM Working Group on Constraints
- IFORS, the International Federation of Operational Research Societies
- INFORMS Computing Society, of INFORMS, the Institute for Operations Research and the Management Sciences
- RCRA, Working group on Knowledge Representation and Automated Reasoning (Italy)
- Reactive Search Optimisation
- SIAM, the Society for Industrial and Applied Mathematics
- SweConsNet, the Network for Sweden-based researchers and practitioners of Constraint programming
|
- Principles of Constraint Programming, by Krzysztof R. Apt, at Cambridge University Press, 2003
- Constraint Logic Programming Using ECLiPSe, by Krzysztof R. Apt and Mark G. Wallace, at Cambridge University Press, 2006
- Constraint-Based Scheduling, by Philippe Baptiste, Claude Le Pape, and Wim Nuijten, at Springer-Verlag, 2001
- Constraint Processing, by Rina Dechter, at Morgan Kaufmann, 2003
- Essentials of Constraint Programming, by Thom Frühwirth and Slim Abdennadher, at Springer-Verlag, 2003
- Integrated Methods for Optimization (second edition), by John N. Hooker, at Springer-Verlag, 2012
- Constraint Networks: Techniques and Algorithms, by Christophe Lecoutre, at ISTE/Wiley, 2009
- Programming with Constraints: An Introduction, by Kim Marriott and Peter J. Stuckey, at the MIT Press, 1998
- Handbook of Constraint Programming, edited by Francesca Rossi, Peter van Beek, and Toby Walsh, at Elsevier Science, 2006
- Programming Constraint Services, by Christian Schulte, at Springer-Verlag, 2002
- Ant Colony Optimization and Constraint Programming, by Christine Solnon, at ISTE/Wiley, 2010
- Foundations of Constraint Satisfaction, by Edward Tsang, at Academic Press, 1993
- Numerica: A Modeling Language for Global Optimization, by Pascal Van Hentenryck, Laurent Michel, and Yves Deville, at The MIT Press, 1997
- The OPL Optimization Programming Language, by Pascal Van Hentenryck, at The MIT Press, 1999
- Constraint-Based Local Search, by Pascal Van Hentenryck and Laurent Michel, at The MIT Press, 2005
- Online Stochastic Combinatorial Optimization, by Pascal Van Hentenryck and Russell Bent, at The MIT Press, 2009
|
- AAAI, the AAAI conferences on Artificial Intelligence
- AISC'08, the 9th international conference on Artificial Intelligence and Symbolic Computation
- AMAI, the international symposia on Artificial Intelligence and Mathematics
- CoProD, the workshops on Constraint Programming and Decision Making
- CP, the international conferences on the principles and practice of Constraint Programming (posters)
- CP-AI-OR, the international conferences on integration of AI and OR Techniques in Constraint Programming for combinatorial optimisation problems
- CSCLP, the Joint ERCIM/CoLogNet Workshops on Constraint Solving and Constraint Logic Programming
- ECAI'12, the 20th European Conference on Artificial Intelligence
- FLAIRS, the international conferences of the Florida AI Research Society
- HM'09, the 6th international workshop on Hybrid Metaheuristics
- IAAI, the conferences on Innovative Applications of Artificial Intelligence
- ICAPS, the International Conferences on Automated Planning and Scheduling
- ICS, the conferences of the Computing Society of INFORMS, the Institute for Operations Research and the Management Sciences (ICS'11)
- ICTAI'13, the 25th IEEE International Conference on Tools with Artificial Intelligence
- IJCAI, the International Joint Conferences on Artificial Intelligence
- JFPC'13, les 9ièmes Journées Francophones de Programmation par Contraintes
- KI'11, the 34th German conference on artificial intelligence (Künstliche Intelligenz)
- KR, the international conferences on the principles of Knowledge Representation and Reasoning
- LION 5, the 5th international conference on Learning and Intelligent OptimizatioN
- LOPSTR'11, the 21st international symposium on LOgic-based Program Synthesis and TRansformation (LOPSTR series, not up-to-date)
- LPAR, the international conferences on Logic for Programming, Artificial intelligence, and Reasoning
- LSCS, the international workshops on Local Search Techniques in Constraint Satisfaction, held at CP conferences
- MIC'11, the 9th Metaheuristics International Conference
- ModRef, the international workshops on constraint Modelling and Reformulation, held at CP conferences
- PADL'13, the 15th international symposium on Practical Aspects of Declarative Languages
- PATAT, the international conferences on the Practice and Theory of Automated Timetabling
- PPDP'13, the 15th international symposium on the Principles and Practice of Declarative Programming
- RCRA, the international workshops on experimental evaluation of algorithms for solving problems with combinatorial explosion
- SAC'12, Track on Constraint Solving and Programming, of the 27th ACM Symposium on Applied Computing
- SARA'13, the 10th international Symposium on Abstraction, Reformulation, and Approximation
- SCAN'10, the 14th International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
- SLS'09, Workshop on Engineering Stochastic Local Search (SLS) Algorithms
- SymCon, the international workshops on Symmetry in Constraint satisfaction problems, held at CP conferences
|
