×

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

4 Hecher, Markus
4 Woltran, Stefan
3 Fichte, Johannes Klaus
3 Meel, Kuldeep S.
3 Thier, Patrick
2 Boege, Tobias
2 Castaño, José M.
2 Castaño, Rodrigo
2 Czarnecki, Krzysztof
2 Ganesh, Vijay
2 Heule, Marijn J. H.
2 Kahle, Thomas
2 Lagniez, Jean-Marie
2 Marquis, Pierre
2 Wang, Jinyan
2 Wu, Jingli
2 Yin, Minghao
2 Zulkoski, Edward
1 Achlioptas, Dimitris
1 Almaawi, Alyas
1 Avni, Guy
1 Aziz, Rehan Abdul
1 Baarir, Souheib
1 Becker, Bernd
1 Bendík, Jaroslav
1 Boreale, Michele
1 Braunstein, Cécile
1 Bright, Curtis
1 Burchard, Jan
1 Chu, Geoffrey
1 Cuong, C. K.
1 D’Alì, Alessio
1 Davis, Jesse
1 De Raedt, Luc
1 Douglass, Adam
1 Encrenaz, Emmanuelle
1 Goel, Shubham
1 Gorla, Daniele
1 Hebborn, Phil
1 Heinle, Albert
1 Henzinger, Thomas A.
1 Ilié, Jean-Michel
1 Järvisalo, Matti
1 Khurshid, Sarfraz
1 Kimmig, Angelika
1 King, Andrew Douglas
1 Kotsireas, Ilias S.
1 Lambin, Baptiste
1 Leander, Gregor
1 Lonca, Emmanuel
1 Marques-Silva, João P.
1 Mencía, Carlos
1 Mengel, Stefan
1 Möhle, Sibylle
1 Morak, Michael
1 Mounier, Isabelle
1 Muise, Christian
1 Poitrenaud, Denis
1 Previti, Alessandro
1 Raymond, Jack
1 Rodriguez-Navas, Guillermo
1 Schubert, Tobias
1 Shrotri, Aditya A.
1 Stuckey, Peter James
1 Sturmfels, Bernd
1 Teuber, Samuel
1 Theodoropoulos, Panos
1 Toda, Takahisa
1 Todo, Yosuke
1 Totis, Pietro
1 Tsuiki, Hideki
1 Tsukamoto, Yasuyuki
1 Vardi, Moshe Ya’akov
1 Wang, Kaiyuan
1 Wang, Wenxi
1 Weigl, Alexander
1 Younès, Sana
1 Zisser, Markus
all top 5

Cited in 11 Serials

2 Artificial Intelligence
2 Theoretical Computer Science
2 Journal of Automated Reasoning
2 Constraints
1 Kybernetika
1 Formal Methods in System Design
1 The Journal of Artificial Intelligence Research (JAIR)
1 Annals of Mathematics and Artificial Intelligence
1 Foundations of Computational Mathematics
1 Theory and Practice of Logic Programming
1 Mathematics in Computer Science
all top 5

Cited in 12 Fields

30 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
4 Combinatorics (05-XX)
4 Information and communication theory, circuits (94-XX)
2 Probability theory and stochastic processes (60-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Commutative algebra (13-XX)
1 Algebraic geometry (14-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Nonassociative rings and algebras (17-XX)
1 Measure and integration (28-XX)
1 Statistics (62-XX)

Citations by Year