sharpSAT – Counting Models with Advanced Component Caching and Implicit BCP

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing - SAT 2006 ◽

10.1007/11814948_38 ◽

2006 ◽

pp. 424-429 ◽

Cited By ~ 69

Author(s):

Marc Thurley

Download Full-text