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....
26 DeutschlandCard Punkte sammeln
- Lastschrift, 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öße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 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