6. SAT 2003: Santa Margherita Ligure, Italy

@proceedings{DBLP:conf/sat/2003,
  editor    = {Enrico Giunchiglia and
               Armando Tacchella},
  title     = {Theory and Applications of Satisfiability Testing, 6th International
               Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8,
               2003 Selected Revised Papers},
  booktitle = {SAT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2919},
  year      = {2004},
  isbn      = {3-540-20851-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski:
  Satisfiability and Computing van der Waerden Numbers. 1-13
  Electronic Edition (link) BibTeX
• Hubie Chen:
  An Algorithm for SAT Above the Threshold. 14-24
  Electronic Edition (link) BibTeX
• Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella:
  Watched Data Structures for QBF Solvers. 25-36
  Electronic Edition (link) BibTeX
• Eugene Goldberg, Yakov Novikov:
  How Good Can a Resolution Based SAT-solver Be? 37-52
  Electronic Edition (link) BibTeX
• Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez:
  A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation. 53-68
  Electronic Edition (link) BibTeX
• Youichi Hanatani, Takashi Horiyama, Kazuo Iwama:
  Density Condensation of Boolean Formulas. 69-77
  Electronic Edition (link) BibTeX
• Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang:
  SAT Based Predicate Abstraction for Hardware Verification. 78-92
  Electronic Edition (link) BibTeX
• Hans Kleine Büning, K. Subramani, Xishun Zhao:
  On Boolean Models for Quantified Boolean Horn Formulas. 93-104
  Electronic Edition (link) BibTeX
• Steven David Prestwich:
  Local Search on SAT-encoded Colouring Problems. 105-119
  Electronic Edition (link) BibTeX
• Guilhem Semerjian, Rémi Monasson:
  A Study of Pure Random Walk on Random Satisfiability Problems with "Physical" Methods. 120-134
  Electronic Edition (link) BibTeX
• Hans van Maaren, Linda van Norden:
  Hidden Threshold Phenomena for Fixed-Density SAT-formulae. 135-149
  Electronic Edition (link) BibTeX
• Sven Baumer, Rainer Schuler:
  Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs. 150-161
  Electronic Edition (link) BibTeX
• Elizabeth Broering, Satyanarayana V. Lokam:
  Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract). 162-171
  Electronic Edition (link) BibTeX
• Stefan Porschen, Bert Randerath, Ewald Speckenmeyer:
  Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems. 172-187
  Electronic Edition (link) BibTeX
• Stefan Szeider:
  On Fixed-Parameter Tractable Parameterizations of SAT. 188-202
  Electronic Edition (link) BibTeX
• Giorgio Parisi:
  On the Probabilistic Approach to the Random Satisfiability Problem. 203-213
  Electronic Edition (link) BibTeX
• Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda:
  Comparing Different Prenexing Strategies for Quantified Boolean Formulas. 214-228
  Electronic Edition (link) BibTeX
• Renato Bruni:
  Solving Error Correction for Large Data Sets by Means of a SAT Solver. 229-241
  Electronic Edition (link) BibTeX
• Ashish Sabharwal, Paul Beame, Henry A. Kautz:
  Using Problem Structure for Efficient Clause Learning. 242-256
  Electronic Edition (link) BibTeX
• Alessandro Armando, Luca Compagna:
  Abstraction-Driven SAT-based Analysis of Security Protocols. 257-271
  Electronic Edition (link) BibTeX
• Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson:
  A Case for Efficient Solution Enumeration. 272-286
  Electronic Edition (link) BibTeX
• Lintao Zhang, Sharad Malik:
  Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms. 287-298
  Electronic Edition (link) BibTeX
• Christian Bessière, Emmanuel Hebrard, Toby Walsh:
  Local Consistencies in SAT. 299-314
  Electronic Edition (link) BibTeX
• Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu:
  Guiding SAT Diagnosis with Tree Decompositions. 315-329
  Electronic Edition (link) BibTeX
• Ryan Williams:
  On Computing k-CNF Formula Properties. 330-340
  Electronic Edition (link) BibTeX
• Fahiem Bacchus, Jonathan Winter:
  Effective Preprocessing with Hyper-Resolution and Equality Reduction. 341-355
  Electronic Edition (link) BibTeX
• Hans Kleine Büning, Xishun Zhao:
  Read-Once Unit Resolution. 356-369
  Electronic Edition (link) BibTeX
• Lyndon Drake, Alan M. Frisch:
  The Interaction Between Inference and Branching Heuristics. 370-382
  Electronic Edition (link) BibTeX
• Daniele Pretolani:
  Hypergraph Reductions and Satisfiability Problems. 383-397
  Electronic Edition (link) BibTeX
• John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean Weaver, Michael Dransfield, W. Mark Vanfleet:
  SBSAT: a State-Based, BDD-Based Satisfiability Solver. 398-410
  Electronic Edition (link) BibTeX
• Maher N. Mneimneh, Karem A. Sakallah:
  Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution. 411-425
  Electronic Edition (link) BibTeX
• Oliver Kullmann:
  The Combinatorics of Conflicts between Clauses. 426-440
  Electronic Edition (link) BibTeX
• Marc Herbstritt, Bernd Becker:
  Conflict-Based Selection of Branching Rules. 441-451
  Electronic Edition (link) BibTeX
• Daniel Le Berre, Laurent Simon:
  The Essentials of the SAT 2003 Competition. 452-467
  Electronic Edition (link) BibTeX
• Daniel Le Berre, Laurent Simon, Armando Tacchella:
  Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. 468-485
  Electronic Edition (link) BibTeX
• Gilles Dequen, Olivier Dubois:
  kcnfs: An Efficient Solver for Random k-SAT Formulae. 486-501
  Electronic Edition (link) BibTeX
• Niklas Eén, Niklas Sörensson:
  An Extensible SAT-solver. 502-518
  Electronic Edition (link) BibTeX
• Alfredo Braunstein, Riccardo Zecchina:
  Survey and Belief Propagation on Random K-SAT. 519-528
  Electronic Edition (link) BibTeX