Failure tabled constraint logic programming by interpolation
Graeme Gange, Jorge A Navas, Peter Schachte, Harald Sondergaard, Peter J Stuckey
Theory and Practice of Logic Programming | CAMBRIDGE UNIV PRESS | Published : 2013
Related Projects (1)
Awarded by Australian Research Council through Discovery Project Grant
We wish to thank Jose. F. Morales for providing support integrating MathSAT into Ciao and Manuel Carro and Corneliu Popeea for fruitful discussions about tabling and interpolation, respectively. We acknowledge support of the Australian Research Council through Discovery Project Grant DP110102579.