Journal article

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

Grants

Awarded by Australian Research Council through Discovery Project Grant


Funding Acknowledgements

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.