Jump to Content

B-Cubing: New Possibilities for Efficient SAT-Solving

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

Abstract

Research Areas