Solving Quantitative Equations.

Georg Ehling, Temur Kutsia

Browse the full IJCAR paper archive.