Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is devoted to the 6th International Conference on Theory and applications of Satisability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May 5–8,2003. SAT 2003 followed the Workshops on S- is?ability held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis?ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the 2003 edition, also a Quanti?ed Boolean Formulas (QBFs) solvers comparative evaluation. There were 67 submissions of high quality, authored by researchers from all over the world. All the submissions were thoroughly evaluated, and as a result 42 were selected for oral presentations, and 16 for a poster presentation. The presentations covered the whole spectrum of research in propositional and QBF satis?ability testing, including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial app- cations, specific tools, case studies and empirical results. Further, the program was enriched by three invited talks, given by Riccardo Zecchina (on “Survey Propagation: from Analytic Results on Random k-SAT to a Message-Passing algorithm for Satis?ability”), Toby Walsh (on “Challenges in SAT (and QBF)”) and Wolfgang Kunz (on “ATPG Versus SAT: Comparing Two Paradigms for Boolean Reasoning”). SAT 2003 thus provided a unique forum for the presentation and discussion of research related to the theory and applications of pro- sitional and QBF satis?ability testing.

Propositional calculus --- Decision making --- Computer algorithms --- Numeric Computing. --- Calculus, Propositional --- Mathematics. --- Algorithms. --- Mathematical logic. --- Numerical analysis. --- Artificial intelligence. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Artificial Intelligence (incl. Robotics). --- Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical. --- Computer science. --- Computer software. --- Electronic data processing. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Software, Computer --- Computer systems --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automation --- Algorism --- Algebra --- Arithmetic --- Mathematical analysis --- Foundations --- Propositional calculus - Congresses --- Decision making - Congresses --- Computer algorithms - Congresses