Problems Related to Propositional Satisfiability

Ronald de Haan

doi:10.1007/978-3-662-60670-4_10

ScienceGate Book Chapters

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

DOI: 10.1007/978-3-662-60670-4_10

Get Full-Text PDF Get Analytical Report

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

Cited By

0.48

FWCI (Field Weighted Citation Impact)

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

Problems Related to Propositional Satisfiability

Metrics

Citation History

Topics

Related Documents

Solving propositional satisfiability problems

Satisfiability problems for propositional calculi

Propositional Satisfiability

Lagrangian method for satisfiability problems of propositional calculus

Propositional Satisfiability Techniques