Minimal sets over monotone predicates in Boolean formulae. (2013)

by Joao Marques-Silva, Mikolas Janota, Anton Belov
Venue:In Natasha Sharygina and Helmut Veith, editors, Computer Aided Verification: 25th International Conference, CAV 2013,