Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings: 9710 - Brossura

9783319409696: Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings: 9710

Brossura

ISBN 10: 3319409697 ISBN 13: 9783319409696

Casa editrice: Springer, 2016

Vedi tutte le copie di questa edizione con ISBN

3 Usato

Da: EUR 140,70

13 Nuovo

Da: EUR 48,37

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 address different aspects of SAT, including complexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore: Springer
Data di pubblicazione: 2016
Lingua: Inglese
ISBN 10: 3319409697
ISBN 13: 9783319409696
Rilegatura: Copertina flessibile
Numero edizione: 1
Numero di pagine: 588
Redattore: Creignou Nadia, Le Berre Daniel
Contatto del produttore: non disponibile
Persona responsabile: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Compra usato

Condizioni: come nuovo

Like New

Visualizza questo articolo

EUR 140,70

Convertire valuta

EUR 28,73 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Aggiungi al carrello

Compra nuovo

Visualizza questo articolo

EUR 48,37

Convertire valuta

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Aggiungi al carrello

Altre edizioni note dello stesso titolo

9783319409719: Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Edizione in evidenza

ISBN 10: 3319409719 ISBN 13: 9783319409719
Casa editrice: Springer, 2016
Brossura

Risultati della ricerca per Theory and Applications of Satisfiability Testing –...

Immagini fornite dal venditore

Theory and Applications of Satisfiability Testing - SAT 2016

Creignou, Nadia|Le Berre, Daniel

Editore: Springer International Publishing, 2016

ISBN 10: 3319409697 ISBN 13: 9783319409696

Nuovo Kartoniert / Broschiert

Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle

Kartoniert / Broschiert. 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 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. Codice articolo 121579857

Contatta il venditore

Compra nuovo

EUR 48,37

Convertire valuta

Spese di spedizione: EUR 9,70

Da: Germania a: Italia

Destinazione, tempi e costi

Quantit�: Pi� di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Theory and Applications of Satisfiability Testing � SAT 2016

Daniel Le Berre

Editore: Springer International Publishing Jun 2016, 2016

ISBN 10: 3319409697 ISBN 13: 9783319409696

Nuovo Taschenbuch

Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 588 pp. Englisch. Codice articolo 9783319409696

Contatta il venditore

Compra nuovo

EUR 53,49

Convertire valuta

Spese di spedizione: EUR 11,00

Da: Germania a: Italia

Destinazione, tempi e costi

Quantit�: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Daniel Le Berre

Editore: Springer International Publishing, Springer International Publishing, 2016

ISBN 10: 3319409697 ISBN 13: 9783319409696

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 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. Codice articolo 9783319409696

Contatta il venditore

Compra nuovo

EUR 53,49

Convertire valuta

Spese di spedizione: EUR 14,99

Da: Germania a: Italia

Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Theory and Applications of Satisfiability Testing - SAT 2016

Daniel Le Berre

Editore: Springer International Publishing, Springer International Publishing Jun 2016, 2016

ISBN 10: 3319409697 ISBN 13: 9783319409696

Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: Neu. Neuware -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 address different aspects of SAT, including complexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch. Codice articolo 9783319409696

Contatta il venditore