Ashwin Srinivasan, Rui Camacho. Numerical Reasoning with an ILP System Capable of Lazy Evaluation and Customised Search. Journal of Logic and Algebraic Programming, 40(2-3):185-213, 1999.
@article{SrinivasanC99,
title = {Numerical Reasoning with an ILP System Capable of Lazy Evaluation and Customised Search},
author = {Ashwin Srinivasan and Rui Camacho},
year = {1999},
tags = {laziness, search},
researchr = {https://researchr.org/publication/SrinivasanC99},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {40},
number = {2-3},
pages = {185-213},
}