| Satisfiability and Computing van der Waerden Numbers / Michael R. Dransfield ; Victor W. Marek ; Miroslaw Truszczynski |
| An Algorithm for SAT Above the Threshold / Hubie Chen |
| Watched Data Structures for QBF Solvers / Ian Gent ; Enrico Giunchiglia ; Massimo Narizzano ; Andrew Rowley ; Armando Tacchella |
| How Good Can a Resolution Based SAT-solver Be? / Eugene Goldberg ; Yakov Novikov |
| A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation / Xiao Yu Li ; Matthias F. Stallmann ; Franc Brglez |
| Density Condensation of Boolean Formulas / Youichi Hanatani ; Takashi Horiyama ; Kazuo Iwama |
| SAT Based Predicate Abstraction for Hardware Verification / Edmund Clarke ; Muralidhar Talupur ; Helmut Veith ; Dong Wang |
| On Boolean Models for Quantified Boolean Horn Formulas / Hans Kleine Büning ; K. Subramani ; Xishun Zhao |
| Local Search on SAT-encoded Colouring Problems / Steven Prestwich |
| A Study of Pure Random Walk on Random Satisfiability Problems with "Physical" Methods / Guilhem Semerjian ; Remi Monasson |
| Hidden Threshold Phenomena for Fixed-Density SAT-formulae / Hans van Maaren ; Linda van Norden |
| Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs / Sven Baumer ; Rainer Schuler |
| Width-Based Algorithms for SAT and CIRCUIT-SAT / Elizabeth Broering ; Satyanarayana V. Lokam |
| Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems / Stefan Porschen ; Bert Randerath ; Ewald Speckenmeyer |
| On Fixed-Parameter Tractable Parameterizations of SAT / Stefan Szeider |
| On the Probabilistic Approach to the Random Satisfiability Problem / Giorgio Parisi |
| Comparing Different Prenexing Strategies for Quantified Boolean Formulas / Uwe Egly ; Martina Seidl ; Hans Tompits ; Stefan Woltran ; Michael Zolda |
| Solving Error Correction for Large Data Sets by Means of a SAT Solver / Renato Bruni |
| Using Problem Structure for Efficient Clause Learning / Ashish Sabharwal ; Paul Beame ; Henry Kautz |
| Abstraction-Driven SAT-based Analysis of Security Protocols / Alessandro Armando ; Luca Compagna |
| A Case for Efficient Solution Enumeration / Sarfraz Khurshid ; Darko Marinov ; Ilya Shlyakhter ; Daniel Jackson |
| Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms / Lintao Zhang ; Sharad Malik |
| Local Consistencies in SAT / Christian Bessière ; Emmanuel Hebrard ; Toby Walsh |
| Guiding SAT Diagnosis with Tree Decompositions / Per Bjesse ; James Kukula ; Robert Damiano ; Ted Stanion ; Yunshan Zhu |
| On Computing k-CNF Formula Properties / Ryan Williams |
| Effective Preprocessing with Hyper-Resolution and Equality Reduction / Fahiem Bacchus ; Jonathan Winter |
| Read-Once Unit Resolution |
| The Interaction Between Inference and Branching Heuristics / Lyndon Drake ; Alan Frisch |
| Hypergraph Reductions and Satisfiability Problems / Daniele Pretolani |
| SBSAT: a State-Based, BDD-Based Satisfiability Solver / John Franco, Michal Kouril ; John Schlipf ; Jeffrey Ward ; Sean Weaver ; Michael Dransfield ; W. Mark Vanfleet |
| Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution / Maher Mneimneh ; Karem Sakallah |
| The Combinatorics of Conflicts between Clauses / Oliver Kullmann |
| Conflict-Based Selection of Branching Rules / Marc Herbstritt ; Bernd Becker |
| The Essentials of the SAT 2003 Competition / Daniel Le Berre ; Laurent Simon |
| Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers |
| kcnfs: an Efficient Solver for Random k-SAT Formulae / Gilles Dequen ; Olivier Dubois |
| An Extensible SAT-solver / Niklas Eén ; Niklas Sörensson |
| Survey and Belief Propagation on Random K-SAT / Alfredo Braunstein ; Riccardo Zecchina |
| Author Index |
| Satisfiability and Computing van der Waerden Numbers / Michael R. Dransfield ; Victor W. Marek ; Miroslaw Truszczynski |
| An Algorithm for SAT Above the Threshold / Hubie Chen |
| Watched Data Structures for QBF Solvers / Ian Gent ; Enrico Giunchiglia ; Massimo Narizzano ; Andrew Rowley ; Armando Tacchella |
図書
