How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms.

Martin Mundhenk, Robert Zeranski

Browse the full SAT paper archive.