Himanshu Jain Constantinos Bartzis Edmund M. Clarke Satisfiability Checking of Non-clausal Formulas Using General Matings. 75-89 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_10 db/conf/sat/sat2006.html#JainBC06