Solving Large Combinatorial Problems in Logic Programming

Mehmet Dincbas,H. Simonis,Pascal Van Hentenryck
DOI: https://doi.org/10.1016/0743-1066(90)90052-7
1990-01-03
The Journal of Logic Programming
Abstract:
What problem does this paper attempt to address?