Maximal falsifiability - definitions, algorithms, and applications (2013)

by A Ignatiev, A Morgado, J Planes, J Marques-Silva
Venue:of Lecture Notes in Computer Science