113
click to vote
IJCNN
2007
IEEE
15 years 9 months ago
2007
IEEE
— Solvers for the Boolean satisfiability problem are an important base technology for many applications. The most efficient SAT solvers for industrial applications are based on...