Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 22nd InternationalConference on Theory and Applications of Satisfiability Testing, SAT2019, held in Lisbon, Portugal, UK, in July 2019.The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions. The papers addressdifferent aspects of SAT interpreted in a broad sense, including (but not restricted to) theoretical advances (such as 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. 440 pp. Englisch. Codice articolo 9783030242572

Contatta il venditore

Compra nuovo

EUR 53,49

Convertire valuta

Spese di spedizione: EUR 23,00

Da: Germania a: U.S.A.

Destinazione, tempi e costi

Quantit�: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Theory and Applications of Satisfiability Testing � SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9�12, 2019, Proceedings

Unbekannt

Editore: Springer International Publishing, 2019

ISBN 10: 3030242579 ISBN 13: 9783030242572

Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle

Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 440 | Sprache: Englisch | Produktart: B�cher. Codice articolo 35053030/1

Contatta il venditore

Compra usato

EUR 39,79

Convertire valuta

Spese di spedizione: EUR 45,00

Da: Germania a: U.S.A.

Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Theory and Applications of Satisfiability Testing � SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9�12, 2019, Proceedings

In�s Lynce

Editore: Springer International Publishing, Springer International Publishing, 2019

ISBN 10: 3030242579 ISBN 13: 9783030242572

Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd InternationalConference on Theory and Applications of Satisfiability Testing, SAT2019, held in Lisbon, Portugal, UK, in July 2019.The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions. The papers addressdifferent aspects of SAT interpreted in a broad sense, including (but not restricted to) theoretical advances (such as 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. Codice articolo 9783030242572

Contatta il venditore

Compra nuovo

EUR 53,49

Convertire valuta

Spese di spedizione: EUR 31,31

Da: Germania a: U.S.A.

Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Theory and Applications of Satisfiability Testing - Sat 2019: 22nd International Conference, Sat 2019, Lisbon, Portugal, July 7-12, 2019, Proceedings

Janota, Mikol� (Editor)/ Lynce, In�s (Editor)

Editore: Springer-Verlag New York Inc, 2019

ISBN 10: 3030242579 ISBN 13: 9783030242572

Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle

Paperback. Condizione: Brand New. 440 pages. 9.25x6.10x0.83 inches. In Stock. Codice articolo x-3030242579

Contatta il venditore

Compra nuovo

EUR 83,16

Convertire valuta

Spese di spedizione: EUR 11,79

Da: Regno Unito a: U.S.A.

Destinazione, tempi e costi

Quantit�: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Theory and Applications of Satisfiability Testing - SAT 2019

Janota, Mikol�s|Lynce, In�s

Editore: Springer International Publishing, 2019

ISBN 10: 3030242579 ISBN 13: 9783030242572

Nuovo Brossura

Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 22nd International&nbspConference on Theory and Applications of Satisfiability Testing, SAT&nbsp2019, held in Lisbon, Portugal, UK, in July 2019.The 19 revised full papers presented together wit. Codice articolo 385699524

Contatta il venditore