基本信息出版社：Springer; 1 edition
页码：188 页
出版日期：2002年04月
ISBN：3540433716
条形码：9783540433712
装帧：平装
丛书名：Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
外文书名：约束服务的程序设计标准与新约束服务的高级程序设计

内容简介 在线阅读本书

This book is concerned with the architecture and implementation of constraint engines. The author's main contribution is that constraint services, such as search and combinators, are made programmable; this is achieved by devising computation spaces as simple abstractions for programming constraint services at a high level. State-of-the-art and novel search strategies such as visual interactive search and parallel search are covered.
This book is indispensable reading for anyone seriously interested in constraint technology.