A systematic approach to MDD-based constraint programming (original) (raw)
Related papers
Techniques foR Implementing Constraint programming Systems
2000
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains
Principles and Practice of Constraint Programming – CP’99, 1999
Generic Global Constraints based on MDDs
Computing Research Repository - CORR, 2007
Design, implementation, and evaluation of the constraint language cc(FD)
The Journal of Logic Programming, 1998
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
Theory and Practice of Logic Programming, 2009
Domain Views for Constraint Programming
Lecture Notes in Computer Science, 2014
Constraint Propagation and Implementation
M. Dongen, Christophe Lecoutre
Trends in Constraint Programming, 2007
On the cooperation of the constraint domains , ℛ, and ℱ in CFLP
Theory and Practice of Logic Programming, 2009
A Generic Global Constraint based on MDDs
Eprint Arxiv Cs 0611141, 2006
A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains
Constraints
FDCC: a combined approach for solving constraints over finite domains and arrays
2012
Twenty Years of Constraint Programming (CP) Research
Constraints
Constraint Propagation on Multiple Domains
An OCL-based CSP Specification and Solving Tool
Constraint programming: In pursuit of the holy grail
Proceedings of WDS99 (invited lecture), Prague, June, 1999
Principles and Practice of Constraint Programming
Lecture Notes in Computer Science, 2019
Design for a Parallel and Distributed Hybrid Constraint Programming Library
2007
The 3 R's of optimizing constraint logic programs
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93, 1993
Towards Structuring the Constraint Store
Global Constraints: When Constraint Programming Meets Operation Research
Constraint Logic Programming Language for Effective Programming with Sets and Finite Domains
2006
On the Definition of a Standard Language for Modelling Constraint Satisfaction Problems
Tools in Artificial Intelligence, 2008
Constraint Lingo: towards high-level constraint programming
Software: Practice and Experience, 2004
Theory and Practice of Constraint Propagation
cs.iastate.edu
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems, 2008
Constraint maintenance using generated methods in the P/FDM object-oriented database
Suzanne Embury, Nick Bassiliades
Rules in Database Systems., …, 1994
The Rules of Constraint Modelling
2005
CFLP: a mathematica implementation of a distributed constraint solving system
The Mathematica Journal, 2001
DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems
Proceedings of the Ieee International Conference on Computer Systems and Applications, 2006
Modelling and Reformulating Constraint Satisfaction Problems
Lecture Notes in Computer Science, 1994