JOURNAL ARTICLE

Symbolic Techniques in Satisfiability Solving

Guoqiang PanMoshe Y. Vardi

Year: 2005 Journal:   Journal of Automated Reasoning Vol: 35 (1-3)Pages: 25-50   Publisher: Springer Science+Business Media
Keywords:
Heuristics Quantifier elimination Constraint satisfaction problem Satisfiability Heuristic DPLL algorithm Computer science Boolean satisfiability problem Binary decision diagram Cardinality (data modeling) Variety (cybernetics) Theoretical computer science Mathematics Algorithm Mathematical optimization Artificial intelligence Programming language Probabilistic logic Data mining

Metrics

22
Cited By
1.05
FWCI (Field Weighted Citation Impact)
57
Refs
0.73
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Constraint Satisfaction and Optimization
Physical Sciences →  Computer Science →  Computer Networks and Communications
Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

BOOK-CHAPTER

Symbolic Techniques in Propositional Satisfiability Solving

Moshe Y. Vardi

Lecture notes in computer science Year: 2009 Pages: 2-3
BOOK-CHAPTER

Search vs. Symbolic Techniques in Satisfiability Solving

Guoqiang PanMoshe Y. Vardi

Lecture notes in computer science Year: 2005 Pages: 235-250
JOURNAL ARTICLE

When satisfiability solving meets symbolic computation

Curtis BrightIlias KotsireasVijay Ganesh

Journal:   Communications of the ACM Year: 2022 Vol: 65 (7)Pages: 64-72
JOURNAL ARTICLE

Greedy Clique Decomposition for Symbolic Satisfiability Solving

Yanyan Xu -Wěi ChénKaile SuWenhui Zhang

Journal:   International Journal of Advancements in Computing Technology Year: 2012 Vol: 4 (10)Pages: 174-184
© 2026 ScienceGate Book Chapters — All rights reserved.