Theory and Applications of Satisfiability Testing - SAT 2006 / Lecture Notes in Computer Science Bd.4121 (PDF)
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks....
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in propositional and quantified Boolean formula satisfiability testing. The papers are organized in topical sections on proofs and cores, heuristics and algorithms, and more.
- 2006, 2006, 440 Seiten, Englisch
- Herausgegeben: Armin Biere, Carla P. Gomes
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540372075
- ISBN-13: 9783540372073
- Erscheinungsdatum: 19.07.2006
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 4.82 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theory and Applications of Satisfiability Testing - SAT 2006 / Lecture Notes in Computer Science Bd.4121".
Kommentar verfassen