Treffer: Theory and Applications of Satisfiability Testing

Titel:

Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / edited by Fahiem Bacchus, Toby Walsh

Beteiligt:

Bacchus, Fahiem (Herausgeber); Walsh, Toby (Herausgeber)

Ausgabe:

1st ed. 2005

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XII, 492 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3569

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Theory and Applications of Satisfiability Testing. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540262763

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540316794 ; 3540316795 ; --354026276-8 ; --354081209-1 ; 978--354026276-3 (Sekundärausgabe) ; 978--354081209-8 (Sekundärausgabe)

DOI:

10.1007/b137280

Treffer: Theory and Applications of Satisfiability Testing

Zusatz-Informationen

Zusatz-Funktionen