Numerical reasoning with an ILP system capable of lazy evaluation and customised search

From MaRDI portal
Publication:4262827