Merkzetterl
Das Merkzetterl ist leer.

SAT 2005

Satisfiability Research in the Year 2005
Verkaufsrang26523inInformatik - EDV
BuchKartoniert, Paperback
293 Seiten
Englisch
Verfügbare Formate
BuchKartoniert, Paperback
EUR170,49
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.

Produkt

KlappentextThis book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.
Details
ISBN/EAN978-94-007-8715-5
ProduktartBuch
EinbandartKartoniert, Paperback
Erscheinungsjahr2014
Erscheinungsdatum03.12.2014
Auflage2006
Seiten293 Seiten
SpracheEnglisch
Artikel-Nr.6767039
Rubriken

Unser Service

  • ÖSTERREICHWEIT VERSANDKOSTENFREI!
  • Filialverfügbarkeit ist bei lagernden Titeln ersichtlich
  • Abholung in einer unserer Buchhandlungen
  • 14 Tage Rücktrittsrecht

Lieferbarkeit

Der angebotene Artikel ist in der Regel kurzfristig (1-2 Werktage) lieferbar. Sollte es wider Erwarten nicht so sein, erhalten Sie eine Benachrichtigung.
Achtung Schulartikel (Lehrbücher/Lösungshefte) können eine längere Lieferzeit von ca. 5-6 Werktagen haben.

Inhalt/Kritik

InhaltsverzeichnisPreface.
1. Heuristic-Based Backtracking Relaxation for Propositional Satisfiability; Bhalla et al.
2. Symbolic Techniques in Satisfiability Solving; Pan and Vardi.
3. Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas; Alekhnovich et al.
4. Backdoor Sets for DLL Subsolvers; S. Szeider.
5. The Complexity of Pure Literal Elimination; Johannsen.
6. Clause Weighting Local Search for SAT;
...mehr