Articles liés à Theory and Applications of Satisfiability Testing –...
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings - Couverture souple
- ÉditeurSpringer
- Date d'édition2017
- ISBN 10 3319662627
- ISBN 13 9783319662626
- ReliureBroché
- Langueanglais
- Numéro d'édition1
- Nombre de pages492
- ÉditeurGaspers Serge, Walsh Toby
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Theory and Applications of Satisfiability Testing –...
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing - SAT 2017
Edité par
Springer International Publishing, 2017
ISBN 10 : 3319662627
ISBN 13 : 9783319662626
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 155241565
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing ¿ SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 ¿ September 1, 2017, Proceedings
ISBN 10 : 3319662627
ISBN 13 : 9783319662626
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783319662626
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing ¿ SAT 2017
Edité par
Springer International Publishing Aug 2017, 2017
ISBN 10 : 3319662627
ISBN 13 : 9783319662626
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 492 pp. Englisch. N° de réf. du vendeur 9783319662626
Quantité disponible : 2 disponible(s)
Image d'archives
Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, ... Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783319662626_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 29776273-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Edité par
Springer, 2017
ISBN 10 : 3319662627
ISBN 13 : 9783319662626
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 29776273
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Edité par
Springer, 2017
ISBN 10 : 3319662627
ISBN 13 : 9783319662626
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 29776273
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 29776273-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783319662626
Quantité disponible : 10 disponible(s)
Image d'archives
Theory and Applications of Satisfiability Testing Sat 2017: 20th International Conference, Proceedings
Edité par
Springer-Verlag New York Inc, 2017
ISBN 10 : 3319662627
ISBN 13 : 9783319662626
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 492 pages. 9.25x6.10x1.11 inches. In Stock. N° de réf. du vendeur x-3319662627
Quantité disponible : 2 disponible(s)