Elsevier Science · Springer, Berlin
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings | 978-3-540-67839-7 | 2000 | Berthe Y. Choueiry | |
| Handbook of Constraint Programming | 978-0-444-52726-4 | 2006 | Francesca Rossi · Peter van Beek | |
| Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings | 978-3-540-42863-3 | 2001 | ||
| Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings | 978-3-540-26276-3 | 2005 | Fahiem Bacchus | |