Theory and Applications of Satisfiability Testing - SAT 2013
16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013.The 21 regular papers, 5 short papers, and 5 tool papers presented...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Theory and Applications of Satisfiability Testing - SAT 2013 “
Klappentext zu „Theory and Applications of Satisfiability Testing - SAT 2013 “
This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013.The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers).The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity.
Inhaltsverzeichnis zu „Theory and Applications of Satisfiability Testing - SAT 2013 “
Invited Talks.- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs.- Turing's Computable Real Numbers and Why They Are Still Important Today.- There Are No CNF Problems.- Best Paper.- Soundness of Inprocessing in Clause Sharing SAT Solvers.- Technical Papers.- Propositional Proof Complexity I.- Exponential Separations in a Hierarchy of Clause Learning Proof Systems.- On the Resolution Complexity of Graph Non-isomorphism.- Quantified Boolean Formulas.- On Propositional QBF Expansions and Q-Resolution.- Recovering and Utilizing Partial Duality in QBF.- Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation.- Parallel Solving.- Concurrent Clause Strengthening.- Parallel MUS Extraction.- Maximum Satisfiability.- A Modular Approach to MaxSAT Modulo Theories.- Exploiting the Power of mip Solvers in maxsat.- Community-Based Partitioning for MaxSAT Solving.- Encodings and Applications.- Experiments with Reduction Finding.- A Constraint Satisfaction Approach for Programmable Logic Detailed Placement.- Minimizing Models for Tseitin-Encoded SAT Instances.- Beyond SAT.- Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.- Quantified Maximum Satisfiability: A Core-Guided Approach.- Nested Boolean Functions as Models for Quantified Boolean Formulas.- Solver Techniques and Algorithms.- Factoring Out Assumptions to Speed Up MUS Extraction.- On the Interpolation between Product-Based Message Passing Heuristics for SAT.- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction.- Clique-Width and SAT.- A SAT Approach to Clique-Width.- Cliquewidth and Knowledge Compilation.- Propositional Proof Complexity II.- A Rank Lower Bound for Cutting Planes Proofs of Ramsey's.- Theorem.- The Complexity of Theorem Proving in Autoepistemic Logic.- Parameterized Complexity.- Local Backbones.- Upper and Lower Bounds for Weak Backdoor SetDetection.-
... mehr
Tool Papers.- LearnSAT: A SAT Solver for Education.- MUStICCa: MUS Extraction with Interactive Choice of Candidates.- SCSat: A Soft Constraint Guided SAT Solver.- Snappy: A Simple Algorithm Portfolio.- Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems.
... weniger
Bibliographische Angaben
- 2013, 2013, XVI, 437 Seiten, Masse: 13,4 x 23,6 cm, Kartoniert (TB), Englisch
- Herausgegeben: Matti Jarvisalo, Allen Van Gelder
- Verlag: Springer, Berlin
- ISBN-10: 3642390706
- ISBN-13: 9783642390708
Sprache:
Englisch
Kommentar zu "Theory and Applications of Satisfiability Testing - SAT 2013"
0 Gebrauchte Artikel zu „Theory and Applications of Satisfiability Testing - SAT 2013“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theory and Applications of Satisfiability Testing - SAT 2013".
Kommentar verfassen