A logic language for combinatorial optimization
type: Item
instance of: scholarly article
title: A logic language for combinatorial optimization
zbMATH Open document ID: 0705.90074
DOI: 10.1007/BF02022102
author: Pascal Van Hentenryck
published in: Annals of Operations Research
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 90C27
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 4158393
zbMATH Keywords: logic programming language
describes a project that uses: CHIP
MaRDI profile type: Publication
cites work: Une étude pratique de découpes de panneaux de bois
cites work: Solving large combinatorial problems in logic programming
cites work: Solving a cutting-stock problem with the constraint logic programming language CHIP
cites work: Nondeterministic Algorithms
cites work: Synthesizing constraint expressions
cites work: Backtrack Programming
cites work: A language and a program for stating and solving combinatorial problems
cites work: Consistency in networks of relations
cites work: Relational consistency algorithms and their application in finding subgraph and graph isomorphisms
cites work: Networks of constraints: Fundamental properties and applications to picture processing
cites work: Letter to the Editor—On the Merit of the Generalized Origin and Restarts in Implicit Enumeration
cites work: Q3489527
cites work: Extended unification algorithms for the integration of functional programming into logic programming
description: scientific article; zbMATH DE number 4158393