Extracting minimal unsatisfiable subformulas in satisfiability modulo theories.

Published in: Comput. Sci. Inf. Syst. (2011)

Keyphrases