The Satisfiability Problem | Uwe Schöning | Jacobo Torán

Search publication

Bibliographic data

Edition: 1/2013
Copyright Year: 2013
ISBN-Print: 978-3-86541-527-1
ISBN-Online: 978-3-86541-648-3
Publisher: Lehmanns Media, Berlin
Language: English
Pages: 178
Product Type: Monograph

Table of contents

ChapterPages

1. Contents No access
Introduction No access Pages 9 - 9
1 First Definitions and Results No access Pages 11 - 36
2 Resolution Calculus No access Pages 37 - 60
3 Special Cases Solvable in Polynomial Time No access Pages 61 - 70
4 Backtracking and DPLL Algorithms No access Pages 71 - 84
5 Local Search and Hamming Balls No access Pages 85 - 107
6 More SAT Algorithms No access Pages 109 - 119
7 Random Clauses and Physical Approaches No access Pages 121 - 132
8 Heavy Tail Distributions and Restarts No access Pages 133 - 136
9 Final Discussion No access Pages 137 - 169
Bibliography No access Pages 171 - 179
Index No access Pages 181 - 184

Similar publications

from the topics "IT & Informatik"

Cover of book: Mathematiksatz mit LaTeX

Monograph No access

Herbert Voß

Mathematiksatz mit LaTeX

Cover of book: Online Abstractions for Monte Carlo Tree Search

Monograph No access

Robin Schmöcker

Online Abstractions for Monte Carlo Tree Search

Cover of book: Das CrypTool-Buch: Kryptografie lernen und anwenden mit CrypTool und SageMath

Monograph No access

Bernhard Esslinger

Das CrypTool-Buch: Kryptografie lernen und anwenden mit CrypTool und SageMath

Cover of book: Bibliografien mit LaTeX

Monograph No access

Herbert Voß

Bibliografien mit LaTeX

Cover of book: Algorithmische Spieltheorie

Monograph No access

Julian Nickerl, Florian Sihler, Jacobo Torán

Algorithmische Spieltheorie