Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings. 520 pp. Englisch. N� de r�f. du vendeur 9783642316111

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science)

Alessandro Cimatti, Roberto Sebastiani

Edit� par Springer 2012-06-22, 2012

ISBN 10 : 3642316115 ISBN 13 : 9783642316111

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783642316111

Contacter le vendeur

Acheter neuf

EUR 58,44

Autre devise

Frais de port : EUR 18,31

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Theory and Applications of Satisfiability Testing -- Sat 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Cimatti, Alessandro (EDT); Sebastiani, Roberto (EDT)

Edit� par Springer, 2012

ISBN 10 : 3642316115 ISBN 13 : 9783642316111

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 18476471

Contacter le vendeur

Acheter D'occasion

EUR 59,49

Autre devise

Frais de port : EUR 17,73

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Theory and Applications of Satisfiability Testing -- Sat 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Cimatti, Alessandro (EDT); Sebastiani, Roberto (EDT)

Edit� par Springer, 2012

ISBN 10 : 3642316115 ISBN 13 : 9783642316111

Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 18476471-n

Contacter le vendeur

Acheter neuf

EUR 61,45

Autre devise

Frais de port : EUR 17,73

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Roberto Sebastiani

Edit� par Springer Berlin Heidelberg, 2012

ISBN 10 : 3642316115 ISBN 13 : 9783642316111

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 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings. N� de r�f. du vendeur 9783642316111

Contacter le vendeur