sharpSAT
swMATH ID: | 16713 |
Software Authors: | Thurley, M. |
Description: | sharpSAT – counting models with advanced component caching and implicit BCP. We introduce sharpSAT, a new #SAT solver that is based on the well known DPLL algorithm and techniques from SAT and #SAT solvers. Most importantly, we introduce an entirely new approach of coding components, which reduces the cache size by at least one order of magnitude, and a new cache management scheme. Furthermore, we apply a well known look ahead based on BCP in a manner that is well suited for #SAT solving. We show that these techniques are highly beneficial, especially on large structured instances, such that our solver performs significantly better than other #SAT solvers. |
Homepage: | https://sites.google.com/site/marcthurley/sharpsat |
Related Software: | Dsharp; GANAK; MiniSat; Chaff; countAntom; BIRD2; htd; SageMath; Lingeling; z3; Walksat; MUSer2; PicoSAT; Coprocessor; Lynx; MathCheck; bliss; Shatter; CVC4; CPGraph |
Cited in: | 34 Documents |
all
top 5
Cited by 78 Authors
all
top 5
Cited in 11 Serials
all
top 5