Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009335661/catalog> ?p ?o. }

• catalog abstract "This book is devoted to the 6th International Conference on Theory and - plications of Satis?ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5–8,2003. SAT 2003followedthe WorkshopsonS- 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, speci?c 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 - gorithm 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 presen- tion and discussion of research related to the theory and applications of pro- sitional and QBF satis?ability testing.".
• catalog contributor b13181250.
• catalog contributor b13181251.
• catalog contributor b13181252.
• catalog created "2004.".
• catalog date "2004".
• catalog date "2004.".
• catalog dateCopyrighted "2004.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Satisfiability and computing van der Waerden numbers / Michael R. Dransfield, Victor W. Marek and 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 and Armando Tacchella.".
• catalog description "This book is devoted to the 6th International Conference on Theory and - plications of Satis?ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5–8,2003. SAT 2003followedthe WorkshopsonS- 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, speci?c 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 - gorithm 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 presen- tion and discussion of research related to the theory and applications of pro- sitional and QBF satis?ability testing.".
• catalog extent "xi, 530 p. :".
• catalog identifier "3540208518 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2919".
• catalog issued "2004".
• catalog issued "2004.".
• catalog language "eng".
• catalog publisher "New York : Springer,".
• catalog subject "511.3 22".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer algorithms Congresses.".
• catalog subject "Computer science.".
• catalog subject "Computer software.".
• catalog subject "Decision making Congresses.".
• catalog subject "Electronic data processing.".
• catalog subject "Logic, Symbolic and mathematical.".
• catalog subject "Propositional calculus Congresses.".
• catalog subject "QA9.3 .S365 2003".
• catalog tableOfContents "Satisfiability and computing van der Waerden numbers / Michael R. Dransfield, Victor W. Marek and 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 and Armando Tacchella.".
• catalog title "Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "Santa Margherita Ligure (2003) swd".
• catalog type "text".