Generalized Optimization Modulo Theories.

Nestan Tsiskaridze, Clark W. Barrett, Cesare Tinelli

Browse the full IJCAR paper archive.