QUIGNARD (Pascal).Livre Rare Book
Pascal Van HentenryckBiblio.com
Constraint Satisfaction in Logic Programming
19892788<p><strong>Constraint Satisfaction in Logic Programming</strong></p><p><strong>Pascal Van Hentenryck</strong> MIT Press First Edition 1989 Language: English ISBN 10: 0262081814 ISBN 13: 9780262081818</p><p><strong>Book Description</strong></p><p>A landmark monograph that introduced constraint satisfaction as a first‑class computational paradigm within logic programming. Van Hentenryck presents a unified framework for integrating constraint‑solving techniques with declarative programming covering consistency algorithms propagation methods search strategies and the formal semantics of constraint logic programs. The work played a foundational role in shaping constraint programming as a discipline influencing research in artificial intelligence operations research and combinatorial optimization. This volume is a significant component of the <strong>Hassan Aït‑Kaci archive</strong> aligning directly with his contributions to logic programming unification theory and the formal underpinnings of declarative computation.</p> MIT Press hardcover
