| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Searching for Optimization through Satisfiability: Satisfiability Approaches in Maximum Satisfiability and AI Planning | 978-3-8383-O327-7 (3-8383-O327-X) | 2010 |
Zhao Xiuying · ZHOU XIANG · Zhou, Xingshe · ZHU XIANG · Ziyou Xiong