BOOK-CHAPTER
Symbolic Techniques in Propositional Satisfiability Solving
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
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
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
Lecture notes in computer science Year: 2005 Pages: 235-250