Treffer: Theory and Applications of Satisfiability Testing - SAT 2009
Titel:
Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / edited by Oliver Kullmann
Verantwortlich:
Ausgabe:
1st ed. 2009
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 540 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5584
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Theory and Applications of Satisfiability Testing - SAT 2009. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642027765
Schlagworte:
ISBN:
9783642027772 ; 3642027776 ; 978--364202776-5 (Sekundärausgabe) ; 978--364202778-9 (Sekundärausgabe)
DOI:
10.1007/978-3-642-02777-2