Jump to Content

Integration of supercubing and learning in a SAT solver

Alan J. Hu
ASP-DAC (2005), pp. 438-444

Abstract

Research Areas