Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 27,82
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 27,82
Gebraucht ab EUR 30,25
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642390706 ISBN 13: 9783642390708
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 39,36
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 456 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 39,36
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642027768 ISBN 13: 9783642027765
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 39,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 556 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 39,79
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2019
ISBN 10: 3030242579 ISBN 13: 9783030242572
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 39,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 440 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 39,79
Mehr entdecken Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 45,01
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 45,01
Gebraucht ab EUR 47,56
Mehr entdecken Softcover Erstausgabe
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 3540208518 ISBN 13: 9783540208518
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 80,54
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 80,93
Mehr entdecken Softcover
Verlag: Springer International Publishing, Springer International Publishing, 2014
ISBN 10: 3319092839 ISBN 13: 9783319092836
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 21 regular papers, 7 short papers and 4 tool papers presented together with 2 invited talks were carefully reviewed and selected from 78 submissions. The papers have been organized in the following topical sections: maximum satisfiability; minimal unsatisfiability; complexity and reductions; proof complexity; parallel and incremental (Q)SAT; applications; structure; simplification and solving; and analysis.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 182,03
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2006
ISBN 10: 3540372067 ISBN 13: 9783540372066
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in propositional and quantified Boolean formula satisfiability testing. The papers are organized in topical sections on proofs and cores, heuristics and algorithms, and more.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 106,93
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 3540262768 ISBN 13: 9783540262763
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 8th International Conference on Theory and Applications of Satis ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the rst problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satis ability testing has proved to extremely useful in a wide range of di erent disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most e ective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools. This volume contains the papers accepted for presentation at SAT 2005. The conference attracted a record number of 73 submissions. Of these, 26 papers were accepted for presentation in the technical programme. In addition, 16 - pers were accepted as shorter papers and were presented as posters during the technicalprogramme.Theacceptedpapersandposterpaperscoverthefullrange of topics listed in the call for papers.
Verlag: Springer International Publishing, 2020
ISBN 10: 3030518248 ISBN 13: 9783030518240
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 23rd International Conference onTheory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually.The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal withSAT interpreted in a broad sense, including theoretical advances (suchas exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 80,54
Mehr entdecken Softcover
Verlag: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319409697 ISBN 13: 9783319409696
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers addressdifferent aspects ofSAT, includingcomplexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 169,88
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 354027829X ISBN 13: 9783540278290
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 7th International Conference on Theory and Applications of Satis ab- ity Testing (SAT 2004) was held 10 13 May 2004 in Vancouver, BC, Canada. The conference featured 9 technical paper sessions, 2 poster sessions, as well as the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. It also included invited talks by Stephen A. Cook (University of Toronto) and Kenneth McMillan (Cadence Berkeley Labs). The 89 participants represented no less than 17 countries and four continents. SAT 2004 continued the series of meetings which started with the Workshops on Satis ability held in Siena, Italy (1996), Paderborn, Germany (1998) and Renesse, The Netherlands (2000); the Workshop on Theory and Applications of Satis ability Testing held in Boston, USA(2001);theSymposiumonTheoryandApplicationsofSatis abilityTesting held in Cincinnati, USA (2002); and the 6th International Conference on Theory and Applications of Satis ability Testing held in Santa Margherita Ligure, Italy (2003). The International Conference on Theory and Applications of Satis ability Testing is the primary annual meeting for researchers studying the propo- tional satis ability problem (SAT), a prominent problem in both theoretical and applied computer science. SAT lies at the heart of the most important open problem in complexity theory (P vsNP) and underlies many applications in, among other examples, arti cial intelligence, operations research and electronic design engineering. The primary objective of the conferences is to bring together researchersfromvariousareasandcommunities,includingtheoreticalandexp- imental computer science as well as many relevant application areas, to promote collaboration and the communication of new theoretical and practical results in SAT-related research and its industrial applications.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 77,28
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642316115 ISBN 13: 9783642316111
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 80,93
Mehr entdecken Softcover
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319941437 ISBN 13: 9783319941431
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st InternationalConference on Theory and Applications of Satisfiability Testing, SAT2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions. The papers addressdifferent aspects ofSAT interpreted in a broad sense, including theoreticaladvances (such as exact algorithms, proof complexity, and other complexity issues),practical search algorithms, knowledge compilation, implementation-leveldetails of SAT solvers and SAT-based systems, problem encodings and reformulations,applications as well ascase studies and reports on findings based onrigorous experimentation. They are organized in the following topical sections: maximum satisfiability; conflict driven clause learning; model counting; quantified Boolean formulae; theory; minimally unsatisfiable sets; satisfiability modulo theories; and tools and applications.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 72,48
Mehr entdecken Softcover
Anbieter: Buchpark, Trebbin, Deutschland
EUR 59,63
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 400 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 64,08
Gebraucht ab EUR 59,63
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2015
ISBN 10: 3319243179 ISBN 13: 9783319243177
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 68,48
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 60,68
Gebraucht ab EUR 76,42
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2021
ISBN 10: 3030802221 ISBN 13: 9783030802226
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 117,69
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.