Solving large combinatorial problems in logic programming
- 31 March 1990
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 8 (1-2) , 75-93
- https://doi.org/10.1016/0743-1066(90)90052-7
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Embedding boolean expressions into logic programmingJournal of Symbolic Computation, 1987
- Scheduling of project networksAnnals of Operations Research, 1985
- Increasing tree search efficiency for constraint satisfaction problemsArtificial Intelligence, 1980
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980
- Synthesizing constraint expressionsCommunications of the ACM, 1978
- A language and a program for stating and solving combinatorial problemsArtificial Intelligence, 1978
- Consistency in networks of relationsArtificial Intelligence, 1977
- Mathematical GamesScientific American, 1975
- Sur le regroupement optimal des sommets dans un réseau électriqueRevue française d'informatique et de recherche opérationnelle. Série verte, 1969