Jump to Content

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

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

Abstract

Research Areas