A logic language for combinatorial optimization

DOI10.1007/BF02022102zbMath0705.90074MaRDI QIDQ918429

Pascal Van Hentenryck

Publication date: 1989

Published in: Annals of Operations Research (Search for Journal in Brave)

zbMATH Keywords

logic programming language

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Theory of programming languages (68N15)

Related Items (3)

Model-based inference in CHARME. ⋮ New constructs for the description of combinatorial optimization problems in algebraic modeling languages ⋮ LABELLING MULTI-TAPE AUTOMATA WITH CONSTRAINED SYMBOL CLASSES

Uses Software

• CHIP

Cites Work

• Unnamed Item
• Relational consistency algorithms and their application in finding subgraph and graph isomorphisms
• Solving a cutting-stock problem with the constraint logic programming language CHIP
• Consistency in networks of relations
• A language and a program for stating and solving combinatorial problems
• Networks of constraints: Fundamental properties and applications to picture processing
• Une étude pratique de découpes de panneaux de bois
• Extended unification algorithms for the integration of functional programming into logic programming
• Synthesizing constraint expressions
• Backtrack Programming
• Nondeterministic Algorithms
• Letter to the Editor—On the Merit of the Generalized Origin and Restarts in Implicit Enumeration
• Solving large combinatorial problems in logic programming

This page was built for publication: A logic language for combinatorial optimization