Recommendations
- scientific article; zbMATH DE number 1182798
- A constraint programming primer
- scientific article; zbMATH DE number 1312992
- scientific article; zbMATH DE number 1566503
- Constraint programming: strategic directions
- scientific article; zbMATH DE number 2098018
- scientific article; zbMATH DE number 1045433
- scientific article; zbMATH DE number 1045436
- Constraint Programming
Cites work
- A canonical form for generalized linear constraints
- A survey of motion planning and related geometric algorithms
- Alfred Tarski's elimination theory for real closed fields
- Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
- Application of pseudo-Boolean programming to the theory of graphs
- CAL: A theoretical background of constraint logic programming and its applications
- Computational complexity and constraint logic programming languages
- Constraint propagation with interval labels
- History and basic features of the critical-pair/completion procedure
- HORNLOG: A graph-based interpreter for general Horn clauses
- scientific article; zbMATH DE number 4213487 (Why is no real title available?)
- scientific article; zbMATH DE number 4070829 (Why is no real title available?)
- scientific article; zbMATH DE number 41264 (Why is no real title available?)
- scientific article; zbMATH DE number 49082 (Why is no real title available?)
- scientific article; zbMATH DE number 194082 (Why is no real title available?)
- scientific article; zbMATH DE number 3557513 (Why is no real title available?)
- scientific article; zbMATH DE number 1324220 (Why is no real title available?)
- scientific article; zbMATH DE number 194907 (Why is no real title available?)
- scientific article; zbMATH DE number 3249560 (Why is no real title available?)
- scientific article; zbMATH DE number 3415409 (Why is no real title available?)
- Logic-based decision support. Mixed integer model formulation
- Negative Boolean constraints
- On Fourier's algorithm for linear arithmetic constraints
- On the SUP-INF Method for Proving Presburger Formulas
- Real quantifier elimination is doubly exponential
- Spatial query optimization: From Boolean constraints to range queries
- Truly concurrent constraint programming
Cited in
(20)- Constraint satisfaction with an object-oriented knowledge representation language
- A linear programming primer: from Fourier to Karmarkar
- The virtuality of constraints and the constraints of virtuality
- Towards a constraint-based engineering framework for algorithm design and application
- Programming with a non-differentiable constraint.
- scientific article; zbMATH DE number 1688809 (Why is no real title available?)
- On Realization of Program Constraints: Part II—Practical Implications
- Constraint programming in computational linguistics
- scientific article; zbMATH DE number 4162305 (Why is no real title available?)
- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
- Improving the Held and Karp Approach with Constraint Programming
- A complete validation method based on constraints.
- A constraint language and its interpreter
- scientific article; zbMATH DE number 4058908 (Why is no real title available?)
- scientific article; zbMATH DE number 1312992 (Why is no real title available?)
- scientific article; zbMATH DE number 1182798 (Why is no real title available?)
- scientific article; zbMATH DE number 1954161 (Why is no real title available?)
- A survey of constraint-based programming paradigms
- scientific article; zbMATH DE number 2086586 (Why is no real title available?)
- scientific article; zbMATH DE number 1827094 (Why is no real title available?)
This page was built for publication: From LP to LP: Programming with constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096231)
