BOOK-CHAPTER
Boolean Satisfiability
Year: 2019 WORLD SCIENTIFIC eBooks Pages: 271-287 Publisher: World Scientific
Keywords:
Computer science Satisfiability Boolean satisfiability problem Mathematics Algorithm
Metrics
1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.39
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
BOOK-CHAPTER
Boolean Satisfiability
Peixin ZhongMargaret MartonosiSharad Malik
Elsevier eBooks Year: 2008 Pages: 613-636
JOURNAL ARTICLE
Boolean satisfiability
Journal: Communications of the ACM Year: 2014 Vol: 57 (3)Pages: 5-5