DOI: 10.1109/date.2004.1268860
View full text
|
|
Share

Abstract: AbstractIn this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1)