Java library for constraint programming. It provides technology for solving satisfaction and optimization problems including: scheduling, planning, routing, time tabling, resource allocation, configuration and many others. KCS includes a solver on boolean, integer and set domains, global constraints. KCS also includes a local search solver useful for solving huge problems when exact methods are too slow.
ILOG's constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, sequencing, configuration, dispatching and resource-allocation applications with logical constraints.
University course: definitions, lecture notes, books, language descriptions, links.
Designing and specifying 3D scenes is a tedious, time consuming process that often degenerates into trial and error. We propose a new way to form virtual worlds based on geometric modeling constraints and higher-level modeling abstractions.
Project to develop and explore using advanced constraint methods to make user interface software. Constraints as a general computational technique allow declaring a set of relationships between entities. A constraint satisfaction system is employed to automatically ensure that the relationships hold under changing conditions.
Potent new optimization technology for multidimensional optimization practical problems with continuous, breaking nondifferentiative and stochastic goal functions, 100 or more variables, cuts the cost and time to creation of new technical systems.
Building a user-friendly Graphical User Interface (GUI) with languages like C++ or Java is difficult and time-consuming, because such languages demand specifying many details about the geometric data of layout, the sequence in which items are displayed, the sequence in which events are handled.
Page about Alan Borning, a leading researcher in the field. From NSF conference ISGW '97: Interactive Systems Grantees Workshop.
Brown University, US. Some constraint papers.
Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
Computers /
History /
Pioneers /
Sutherland,_Ivan
|