Verwandte Artikel zu Theory and Applications of Satisfiability Testing –...
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings: 12831 (Theoretical Computer Science and General Issues) - Softcover
- VerlagSpringer
- Erscheinungsdatum2021
- ISBN 10 3030802221
- ISBN 13 9783030802226
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten576
- HerausgeberLi Chu-Min, Manyà Felip
Neu kaufen
Diesen Artikel anzeigen
EUR 101,04
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Theory and Applications of Satisfiability Testing –...
Foto des Verkäufers
Theory and Applications of Satisfiability Testing - SAT 2021
ISBN 10: 3030802221
ISBN 13: 9783030802226
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Bestandsnummer des Verkäufers 476475200
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Theory and Applications of Satisfiability Testing ¿ SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Verlag:
Springer International Publishing, 2021
ISBN 10: 3030802221
ISBN 13: 9783030802226
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. 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. Bestandsnummer des Verkäufers 9783030802226
Anzahl: 1 verfügbar
Foto des Verkäufers
Theory and Applications of Satisfiability Testing ¿ SAT 2021
Verlag:
Springer International Publishing Jul 2021, 2021
ISBN 10: 3030802221
ISBN 13: 9783030802226
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 576 pp. Englisch. Bestandsnummer des Verkäufers 9783030802226
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing - SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783030802226_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing - SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783030802226
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing ? SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science, 12831)
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18386639298
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing ? SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science, 12831)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26386639304
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing ? SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science, 12831)
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 394009111
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing - SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Theoretical Computer Science and General Issues)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020030398
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing Sat 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 575 pages. 9.25x6.10x1.17 inches. In Stock. Bestandsnummer des Verkäufers x-3030802221
Anzahl: 2 verfügbar