A logic language for combinatorial optimization
From MaRDI portal
Recommendations
Cites work
- A language and a program for stating and solving combinatorial problems
- Backtrack Programming
- Consistency in networks of relations
- Extended unification algorithms for the integration of functional programming into logic programming
- scientific article; zbMATH DE number 4162324 (Why is no real title available?)
- Letter to the Editor—On the Merit of the Generalized Origin and Restarts in Implicit Enumeration
- Networks of constraints: Fundamental properties and applications to picture processing
- Nondeterministic Algorithms
- Relational consistency algorithms and their application in finding subgraph and graph isomorphisms
- Solving a cutting-stock problem with the constraint logic programming language CHIP
- Solving large combinatorial problems in logic programming
- Synthesizing constraint expressions
- Une étude pratique de découpes de panneaux de bois
Cited in
(10)- Industrial linear optimization problems solved by constraint logic programming
- Model-based inference in CHARME.
- Introducing global constraints in CHIP
- New constructs for the description of combinatorial optimization problems in algebraic modeling languages
- LABELLING MULTI-TAPE AUTOMATA WITH CONSTRAINED SYMBOL CLASSES
- scientific article; zbMATH DE number 19068 (Why is no real title available?)
- scientific article; zbMATH DE number 1852952 (Why is no real title available?)
- scientific article; zbMATH DE number 1884390 (Why is no real title available?)
- Propositional calculus problems in CHIP
- Solving large combinatorial problems in logic programming
This page was built for publication: A logic language for combinatorial optimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q918429)
