BOOK-CHAPTER

Symbolic Techniques in Propositional Satisfiability Solving

Moshe Y. Vardi

Year: 2009 Lecture notes in computer science Pages: 2-3   Publisher: Springer Science+Business Media
Keywords:
Computer science Satisfiability Propositional calculus Propositional variable Propositional formula Programming language Well-formed formula Calculus (dental) Theoretical computer science Algorithm

Metrics

6
Cited By
0.00
FWCI (Field Weighted Citation Impact)
6
Refs
0.15
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
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Symbolic Techniques in Satisfiability Solving

Guoqiang PanMoshe Y. Vardi

Journal:   Journal of Automated Reasoning Year: 2005 Vol: 35 (1-3)Pages: 25-50
BOOK-CHAPTER

Propositional Satisfiability Techniques

Malik GhallabDana NauPaolo Traverso

Elsevier eBooks Year: 2004 Pages: 143-166
JOURNAL ARTICLE

Solving propositional satisfiability problems

R. G. JeroslowJinchang Wang

Journal:   Annals of Mathematics and Artificial Intelligence Year: 1990 Vol: 1 (1-4)Pages: 167-187
BOOK-CHAPTER

Search vs. Symbolic Techniques in Satisfiability Solving

Guoqiang PanMoshe Y. Vardi

Lecture notes in computer science Year: 2005 Pages: 235-250
© 2026 ScienceGate Book Chapters — All rights reserved.