JOURNAL ARTICLE
Symbolic Techniques in Satisfiability Solving
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
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