The Inverse Satisfiability Problem.

Dimitris J. Kavvadias, Martha Sideri

Browse the full COCOON paper archive.