Editors and authors world-leading researchers in this domain
Suitable for researchers, practitioners and graduate students engaged with constraint-based reasoning
First part addresses theory and algorithms, second part tools and applications
| Author: Youssef Hamadi |
| Publisher: Springer |
| Publication Date: Apr 17, 2018 |
| Number of Pages: 677 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 3319635158 |
| ISBN-13: 9783319635156 |