Preface: Volume 9

✍ Scribed by Henry Kautz; Bart Selman

• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 26 KB
• Volume: 9
• Category: Article
• ISSN: 1571-0653
• DOI: 10.1016/s1571-0653(04)00309-9

✦ Synopsis

Great strides have been made in recent years in the theory and practice of propositional satisfiability testing. On the theoretical side, a wide range of mathematical approaches -ranging from classical combinatorial analysis to arguments based on statistical physicshave increased our understanding of problem hardness. On the practical side, new systematic and non-systematic search algorithms have increased the size of problems that can be solved by several orders of magnitude. As a result there is an growing interest in using SAT as a practical tool for solving real-world problems, as well as using the insights gained from SAT research to create problem-specific solutions.

The LICS 2001 Workshop on Theory and Applications of Satisfiability Testing brought together researchers from different communities -including theory, artificial intelligence, verification, mathematical theorem-proving, and operations research -in order to share ideas and increase synergy between theoretical and empirical work.

The workshop was held in conjunction with the