Boolean Satisfiability

BOOK-CHAPTER

Year: 2009 Pages: 29-42

DOI: 10.1007/978-90-481-2360-5_3

Keywords:

Satisfiability Computer science Boolean satisfiability problem Programming language Theoretical computer science

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.41

Citation Normalized Percentile

Is in top 1%

Is in top 10%

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