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.
No references recorded for this publication.
No citations of this publication recorded.