Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions.

Roberto Sebastiani, Silvia Tomasi

Browse the full CADE paper archive.