Verwandte Artikel zu Theory and Applications of Satisfiability Testing -...
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings: 4996 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P. R. China, in May 2008. The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully selected from 70 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P. R. China, in May 2008.
The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully selected from 70 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 27,46
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Theory and Applications of Satisfiability Testing -...
Beispielbild für diese ISBN
Theory And Applications Of Satisfiability Testing-Sat 2008: 11Th International Conference, Sat 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-1319
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Theory And Applications Of Satisfiability Testing-Sat 2008: 11Th International Conference, Sat 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-271004
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Theory And Applications Of Satisfiability Testing-Sat 2008: 11Th International Conference, Sat 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Anbieter: SMASS Sellers, IRVING, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Bestandsnummer des Verkäufers ASNT3-1319
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing ¿ SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Verlag:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540797181
ISBN 13: 9783540797180
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 324 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 4430223/12
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes in Computer Science, 4996)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Bestandsnummer des Verkäufers SHUB271004
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing - SAT 2008
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 324. Bestandsnummer des Verkäufers 18294171
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Theory And Applications Of Satisfiability Testing Sat 2008: 11Th International Conference, Sat 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes In Computer Science)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-197752
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING SAT 2008: 11TH INTERNATIONAL CONFERENCE, SAT 2008, GUANGZHOU, CHINA, MAY 12-15, 2008, PROCEEDINGS (LECTURE NOTES IN COMPUTER SCIENCE)
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-271005
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Theory and Applications of Satisfiability Testing - SAT 2008
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 324. Bestandsnummer des Verkäufers 26294161
Anzahl: 1 verfügbar
Foto des Verkäufers
Theory and Applications of Satisfiability Testing - SAT 2008
Verlag:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540797181
ISBN 13: 9783540797180
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 volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from. Bestandsnummer des Verkäufers 4901307
Anzahl: Mehr als 20 verfügbar