Find a copy in the library
Finding libraries that hold this item...
Details
Document Type: | Book |
---|---|
All Authors / Contributors: |
Sumit Gulwani; Oleksandr Polozov; Rishabh Singh |
ISBN: | 1680832921 9781680832921 |
OCLC Number: | 1000018564 |
Description: | x, 126 pages : illustrations ; 24 cm |
Contents: | 1: Introduction; 2: Applications; 3: General Principles; 4: Enumerative Search; 5: Constraint Solving; 6: Stochastic Search; 7: Programming by Examples; 8: Future Work; Acknowledgements; References. |
Series Title: | Foundations and trends in programming languages, vol. 4, issue 1-2. |
Responsibility: | Sumit Gulwani, Oleksandr Polozov, Rishabh Singh. |
Reviews

