B-cubing theory: new possibilities for efficient SAT-solving

Jesse D. Bingham
Alan J. Hu
HLDVT(2005), pp. 192-199

Abstract

Research Areas