Use Resolution checker to make sure UNSAT results are correct.
Use Resolution checker to make sure UNSAT results are correct.

rbonifacio/funsat,dbueno/funsat,dbueno/funsat,rbonifacio/funsat,rbonifacio/funsat,rbonifacio/funsat