BOOK-CHAPTER
Symbolic Techniques in Satisfiability Solving
Keywords:
Heuristics Constraint satisfaction problem Quantifier elimination Satisfiability Heuristic DPLL algorithm Boolean satisfiability problem Computer science Cardinality (data modeling) Variety (cybernetics) Binary decision diagram Theoretical computer science Focus (optics) Symbolic execution Mathematics Algorithm Programming language Mathematical optimization Artificial intelligence Probabilistic logic Data mining
Metrics
3
Cited By
0.00
FWCI (Field Weighted Citation Impact)
38
Refs
0.30
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
JOURNAL ARTICLE
Symbolic Techniques in Satisfiability Solving
Journal: Journal of Automated Reasoning Year: 2005 Vol: 35 (1-3)Pages: 25-50
BOOK-CHAPTER
Symbolic Techniques in Propositional Satisfiability Solving
Lecture notes in computer science Year: 2009 Pages: 2-3
BOOK-CHAPTER
Search vs. Symbolic Techniques in Satisfiability Solving
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