Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptieren![Walsh, Toby / Enrico Giunchiglia (Hrsg.). SAT 2005 - Satisfiability Research in the Year 2005. Springer Netherlands, 2014.](https://eichendorff21.de/cdata/uq_lXhpT_vJsudU_iaxL3DUubS4=/300x0/9789400787155.png)
SAT 2005
- Springer Netherlands
- 2014
- Taschenbuch
- 300 Seiten
- ISBN 9789400787155
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.
zzgl. Versand
in Kürze