Satisfiability Checking of Non-clausal Formulas Using General Matings.

Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke

Browse the full SAT paper archive.