Zustand: New.
Verlag: Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Verlag: Springer International Publishing, Springer Nature Switzerland Aug 2017, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 20th InternationalConference on Theory and Applications of Satisfiability Testing, SAT2017, held in Melbourne, Australia, in August/September 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 81,30
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 492 pages. 9.25x6.10x1.11 inches. In Stock.
Verlag: Springer Nature Switzerland, 2017
ISBN 10: 3319662627 ISBN 13: 9783319662626
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Theory and Applications of Satisfiability Testing - SAT 2017 | 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings | Toby Walsh (u. a.) | Taschenbuch | xiii | Englisch | 2017 | Springer Nature Switzerland | EAN 9783319662626 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.