52,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
Boolean satisfiability and constraint satisfaction emerged independently as new fields of computer science, and different solving techniques have become standard for problem solving in the two areas. Even though any propositional formula (SAT) can be viewed as an instance of the general constraint satisfaction problem (CSP), the implications of this connection have only been studied in the last few years.
The book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science.
Boolean satisfiability and constraint satisfaction emerged independently as new fields of computer science, and different solving techniques have become standard for problem solving in the two areas. Even though any propositional formula (SAT) can be viewed as an instance of the general constraint satisfaction problem (CSP), the implications of this connection have only been studied in the last few years.
The book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science.
| Erscheinungsjahr: | 2016 |
|---|---|
| Fachbereich: | Anwendungs-Software |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
xi
113 S. 19 s/w Illustr. 113 p. 19 illus. |
| ISBN-13: | 9783319373645 |
| ISBN-10: | 3319373641 |
| Sprache: | Englisch |
| Herstellernummer: | 978-3-319-37364-5 |
| Ausstattung / Beilage: | Previously published in hardcover |
| Autor: | Petke, Justyna |
| Auflage: | Softcover reprint of the original 1st ed. 2015 |
| Hersteller: |
Springer
Springer, Berlin Springer International Publishing |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Abbildungen: | XI, 113 p. 19 illus. |
| Maße: | 8 x 156 x 235 mm |
| Von/Mit: | Justyna Petke |
| Erscheinungsdatum: | 22.10.2016 |
| Gewicht: | 0,209 kg |
| Erscheinungsjahr: | 2016 |
|---|---|
| Fachbereich: | Anwendungs-Software |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
xi
113 S. 19 s/w Illustr. 113 p. 19 illus. |
| ISBN-13: | 9783319373645 |
| ISBN-10: | 3319373641 |
| Sprache: | Englisch |
| Herstellernummer: | 978-3-319-37364-5 |
| Ausstattung / Beilage: | Previously published in hardcover |
| Autor: | Petke, Justyna |
| Auflage: | Softcover reprint of the original 1st ed. 2015 |
| Hersteller: |
Springer
Springer, Berlin Springer International Publishing |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Abbildungen: | XI, 113 p. 19 illus. |
| Maße: | 8 x 156 x 235 mm |
| Von/Mit: | Justyna Petke |
| Erscheinungsdatum: | 22.10.2016 |
| Gewicht: | 0,209 kg |