Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories.

Katalin Fazekas, Fahiem Bacchus, Armin Biere

Browse the full CADE paper archive.