2010, ISBN: 9783642141850
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis abili… Mehr…
booklooker.de Buchhandlung Hoffmann Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2010, ISBN: 9783642141850
Taschenbuch
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings, Buch, Softcover, This volume contains the papers presented at SAT 2010, the 13th International Confe… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2010, ISBN: 9783642141850
Springer, Taschenbuch, Auflage: 2010, 413 Seiten, Publiziert: 2010-06-30T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 1.39 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
amazon.de Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Theory and Applications of Satisfiability Testing SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 1114, 2010, Proceedings 6175 Lecture Notes in Computer Science, 6175 - Taschenbuch
2010, ISBN: 3642141854
[EAN: 9783642141850], Neubuch, [PU: Springer], New Book. Shipped from UK. Established seller since 2000., Books
AbeBooks.de PBShop.store UK, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 9.34 Details... |
2010, ISBN: 9783642141850
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
2010, ISBN: 9783642141850
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis abili… Mehr…
Ofer Strichman; Stefan Szeider:
Theory and Applications of Satisfiability Testing - SAT 2010 - Erstausgabe2010, ISBN: 9783642141850
Taschenbuch
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings, Buch, Softcover, This volume contains the papers presented at SAT 2010, the 13th International Confe… Mehr…
2010
ISBN: 9783642141850
Springer, Taschenbuch, Auflage: 2010, 413 Seiten, Publiziert: 2010-06-30T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 1.39 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
Theory and Applications of Satisfiability Testing SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 1114, 2010, Proceedings 6175 Lecture Notes in Computer Science, 6175 - Taschenbuch
2010, ISBN: 3642141854
[EAN: 9783642141850], Neubuch, [PU: Springer], New Book. Shipped from UK. Established seller since 2000., Books
2010, ISBN: 9783642141850
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Theory and Applications of Satisfiability Testing - SAT 2010
EAN (ISBN-13): 9783642141850
ISBN (ISBN-10): 3642141854
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
400 Seiten
Gewicht: 0,626 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-03-09T00:06:16+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-04T14:16:34+01:00 (Berlin)
ISBN/EAN: 3642141854
ISBN - alternative Schreibweisen:
3-642-14185-4, 978-3-642-14185-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: strich
Titel des Buches: edinburgh 2010, applications theory, international testing, test 2010
Daten vom Verlag:
Autor/in: Ofer Strichman; Stefan Szeider
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theory and Applications of Satisfiability Testing - SAT 2010 - 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Verlag: Springer; Springer Berlin
400 Seiten
Erscheinungsjahr: 2010-06-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 400 p. 74 illus.
BC; Hardcover, Softcover / Mathematik/Wahrscheinlichkeitstheorie, Stochastik, Mathematische Statistik; Algorithmen und Datenstrukturen; Verstehen; Informatik; MiniSAT; SAT algorithms; SAT complexity; SAT translation; algorithms; combinatorics; complexity; computational complexity; distributed algorithms; k-SAT; logic; polynomial time reduction; proof complexity; satisfiability testing; structured analysis; algorithm analysis and problem complexity; Algorithms; Software Engineering; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Mathematics of Computing; Software Engineering; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Mathematik für Informatiker; EA
1. Invited Talks.- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.- Exact Algorithms and Complexity.- 2. Regular Papers.- Improving Stochastic Local Search for SAT with a New Probability Distribution.- Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas.- Proof Complexity of Propositional Default Logic.- Automated Testing and Debugging of SAT and QBF Solvers.- Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN.- Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT.- sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning.- Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold.- Symmetry and Satisfiability: An Update.- A Non-prenex, Non-clausal QBF Solver with Game-State Learning.- SAT Solving with Reference Points.- Integrating Dependency Schemes in Search-Based QBF Solvers.- An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.- Improving Unsatisfiability-Based Algorithms for Boolean Optimization.- Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.- Statistical Methodology for Comparison of SAT Solvers.- On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem.- The Seventh QBF Solvers Evaluation (QBFEVAL’10).- Complexity Results for Linear XSAT-Problems.- Bounds on Threshold of Regular Random k-SAT.- Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT.- 3. Short Papers.- Improved Local Search for Circuit Satisfiability.- A System for Solving Constraint Satisfaction Problems with SMT.- Two Techniques for Minimizing Resolution Proofs.- On Moderately Exponential Time for SAT.- MinimisingDeterministic Büchi Automata Precisely Using SAT Solving.- Exploiting Circuit Representations in QBF Solving.- Reconstructing Solutions after Blocked Clause Elimination.- An Empirical Study of Optimal Noise and Runtime Distributions in Local Search.- Green-Tao Numbers and SAT.- Exact MinSAT Solving.- Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable.- Assignment Stack Shrinking.- Simple but Hard Mixed Horn Formulas.- Zero-One Designs Produce Small Hard SAT Instances.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030518240 Theory and Applications of Satisfiability Testing SAT 2020 (Luca Pulina; Martina Seidl)
- 9783030518240 Theory and Applications of Satisfiability Testing SAT 2020 (Luca Pulina; Martina Seidl)
- 9783030242572 Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (Mikolá? Janota; Inês Lynce)
- 9783319092843 Theory and Applications of Satisfiability Testing - SAT 2014 als eBook Download von (Carsten Sinz; Uwe Egly)
- 9783642141867 Theory and Applications of Satisfiability Testing - SAT 2010 (Springer)
- 9783319092836 Theory and Applications of Satisfiability Testing - SAT 2014 (Carsten Sinz; Uwe Egly)
< zum Archiv...