Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1

by Enrico Giunchiglia
     
 

ISBN-10: 3540208518

ISBN-13: 9783540208518

Pub. Date: 03/19/2004

Publisher: Springer Berlin Heidelberg

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing, SAT 2003, held in Santa Margherita Ligure, Italy, in May 2003.

The 33 revised full papers presented together with 5 articles reporting results of the related SAT competition and QBF evaluation were carefully

…  See more details below

Overview

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing, SAT 2003, held in Santa Margherita Ligure, Italy, in May 2003.

The 33 revised full papers presented together with 5 articles reporting results of the related SAT competition and QBF evaluation were carefully selected during two rounds of reviewing and improvement from 67 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.

Product Details

ISBN-13:
9783540208518
Publisher:
Springer Berlin Heidelberg
Publication date:
03/19/2004
Series:
Lecture Notes in Computer Science Series, #2919
Edition description:
2004
Pages:
530
Product dimensions:
9.21(w) x 6.14(h) x 1.11(d)

Table of Contents

Satisfiability and computing van der Waerden numbers1
An algorithm for SAT above the threshold14
Watched data structures for QBF solvers25
How good can a resolution based SAT-solver be?37
A local search SAT solver using an effective switching strategy and an efficient unit propagation53
Density condensation of Boolean formulas69
SAT based predicate abstraction for hardware verification78
On Boolean models for quantified Boolean horn formulas93
Local search on SAT-encoded colouring problems105
A study of pure random walk on random satisfiability problems with "physical" methods120
Hidden threshold phenomena for fixed-density SAT-formulae135
Improving a probabilistic 3-SAT algorithm by dynamic search and independent clause pairs150
Width-based algorithms for SAT and CIRCUIT-SAT162
Linear time algorithms for some not-all-equal satisfiability problems172
On fixed-parameter tractable parameterizations of SAT188
On the probabilistic approach to the random satisfiability problem203
Comparing different prenexing strategies for quantified Boolean formulas214
Solving error correction for large data sets by means of a SAT solver229
Using problem structure for efficient clause learning242
Abstraction-driven SAT-based analysis of security protocols257
A case for efficient solution enumeration272
Cache performance of SAT solvers : a case study for efficient implementation of algorithms287
Local consistencies in SAT299
Guiding SAT diagnosis with tree decompositions315
On computing k-CNF formula properties330
Effective preprocessing with hyper-resolution and equality reduction341
Read-once unit resolution356
The interaction between inference and branching heuristics370
Hypergraph reductions and satisfiability problems383
SBSAT : a state-based, BDD-based satisfiability solver398
Computing vertex eccentricity in exponentially large graphs : QBF formulation and solution411
The combinatorics of conflicts between clauses426
Conflict-based selection of branching rules441
The essentials of the SAT 2003 competition452
Challenges in the QBF arena : the SAT'03 evaluation of QBF solvers468
kcnfs : an efficient solver for random k-SAT formulae486
An extensible SAT-solver502
Survey and belief propagation on random K-SAT519
Author index529

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >