B-Cubing: New Possibilities for Efficient SAT-Solving

Jesse D. Bingham
Alan J. Hu
IEEE Trans. Computers, 55(2006), pp. 1315-1324

Abstract

Research Areas