JOURNAL ARTICLE
Solving propositional satisfiability problems
Year: 1990 Journal: Annals of Mathematics and Artificial Intelligence Vol: 1 (1-4)Pages: 167-187 Publisher: Springer Science+Business Media
Keywords:
Satisfiability DPLL algorithm Computer science Propositional calculus Boolean satisfiability problem Maximum satisfiability problem Integer programming Mathematics Propositional formula Algorithm Theoretical computer science Discrete mathematics Propositional variable Intermediate logic Boolean function
Metrics
254
Cited By
9.95
FWCI (Field Weighted Citation Impact)
12
Refs
0.97
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
DISSERTATION
Modelling and Exploiting Structures in Solving Propositional Satisfiability Problems
University: Griffith Research Online (Griffith University, Queensland, Australia) Year: 2006
BOOK-CHAPTER
Symbolic Techniques in Propositional Satisfiability Solving
Lecture notes in computer science Year: 2009 Pages: 2-3
BOOK-CHAPTER
Problems Related to Propositional Satisfiability
Lecture notes in computer science Year: 2019 Pages: 205-218
JOURNAL ARTICLE
Satisfiability problems for propositional calculi
Journal: Theory of Computing Systems Year: 1979 Vol: 13 (1)Pages: 45-53
JOURNAL ARTICLE
Running time experiments on some algorithms for solving propositional satisfiability problems
Joachim MayerIlse MitterreiterFranz Josef Radermacher
Journal: Annals of Operations Research Year: 1995 Vol: 55 (1)Pages: 139-178