A logic language for combinatorial optimization
- 1 December 1989
- journal article
- research article
- Published by Springer Nature in Annals of Operations Research
- Vol. 21 (1) , 247-273
- https://doi.org/10.1007/bf02022102
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Solving large combinatorial problems in logic programmingThe Journal of Logic Programming, 1990
- Applications of CHIP to industrial and engineering problemsPublished by Association for Computing Machinery (ACM) ,1988
- A generalized implicit enumeration algorithm for graph coloringCommunications of the ACM, 1985
- Une étude pratique de découpes de panneaux de boisRairo-Operations Research, 1984
- Increasing tree search efficiency for constraint satisfaction problemsArtificial Intelligence, 1980
- Synthesizing constraint expressionsCommunications of the ACM, 1978
- A language and a program for stating and solving combinatorial problemsArtificial Intelligence, 1978
- Sur le regroupement optimal des sommets dans un réseau électriqueRevue française d'informatique et de recherche opérationnelle. Série verte, 1969
- Nondeterministic AlgorithmsJournal of the ACM, 1967
- Backtrack ProgrammingJournal of the ACM, 1965