Numerical Reasoning with an ILP System Capable of Lazy Evaluation and Customised Search

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.

Possibly Related Publications

The following publications are possibly variants of this publication: