BOOK-CHAPTER

Problems Related to Propositional Satisfiability

Ronald de Haan

Year: 2019 Lecture notes in computer science Pages: 205-218   Publisher: Springer Science+Business Media
Keywords:
Parameterized complexity Satisfiability Polynomial hierarchy Computer science Propositional calculus Hierarchy Theoretical computer science Computational complexity theory Boolean satisfiability problem Propositional formula Algorithm Programming language Propositional variable Description logic

Metrics

1
Cited By
0.48
FWCI (Field Weighted Citation Impact)
0
Refs
0.67
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
Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Solving propositional satisfiability problems

R. G. JeroslowJinchang Wang

Journal:   Annals of Mathematics and Artificial Intelligence Year: 1990 Vol: 1 (1-4)Pages: 167-187
JOURNAL ARTICLE

Satisfiability problems for propositional calculi

Harry R. Lewis

Journal:   Theory of Computing Systems Year: 1979 Vol: 13 (1)Pages: 45-53
BOOK-CHAPTER

Propositional Satisfiability

Hantao ZhangJian Zhang

Logic in Computer Science Year: 2025 Pages: 119-158
BOOK-CHAPTER

Propositional Satisfiability Techniques

Malik GhallabDana NauPaolo Traverso

Elsevier eBooks Year: 2004 Pages: 143-166
© 2026 ScienceGate Book Chapters — All rights reserved.