- A Differential Approach to Graphical Interaction
- A thesis on the functionality of the numerical constraint solving for graphical interface systems handling.
- Advanced Constraint Techniques for User Interface Implementation
- Provides an overview on program usability and user design, and creates an avenue for advanced constraint methodologies for user-interface.
- Benchmarking Java with Richards and DeltaBlue
- Offers a benchmarking initiative with Richards and DeltaBlue, both implementations of the constraint-language systems.
- Choco
- A constraint programming system which utilizes java library units for constraint programming, constraint satisfaction problems and explanation-based constraint solving.
- Constraint Handling Rules
- An overview of constraint handling methods, as well as procedure implementations.
- Constraint Solving Toolkit
- An incremental constraint computing system developed to resolve linear equalities and inequalities in a given set of arithmetic data.
- Constraint-Based Languages and Environments for Building Interactive Systems
- Features information about the relationships of the constraint-based languages for developing interactive or artificial intelligence systems.
- Constraint-Based Systems
- Contains resources about constraint-related programming that includes paper lists, video presentations and applet demonstrations.
- Constraints - Artificial Intelligence
- Provides article guides on constraint technologies for driving artificial intelligence and interactive systems.
- Constraints Archive
- Presents details on the organizations which support the constraint initiative, with information on their benchmarking reports, applications, as well as languages and solvers.
- Constraints for the Web
- An implementation of the constraint-based language for web documents and web applications.
- E-Constraints
- Contains documentations on the explanation-based constraint programming.
- Foundations of Constraint Satisfaction
- A general challenge for systems to arrive at a set of variables that can resolve a given set of constraints. This is the fundametal platform of artificial interlligence fields.
- Gecode
- Generic constraint development environment with feature descriptions, documentation, releases, changelog, and research papers.
- IAsolver 0.1Beta1
- Sets allowable constraints and source codes, for the IAsolver applet. A pop-up window set within the page to allow for computations of arithmetic constraints.
- ILOG Constraint Programming
- Product module includes Solver, Scheduler, and Dispatcher, with Mathematical and Constraint programming comparison.
- Koalog: Constraint Solver
- Java library optimization solution provides documentations, release notes, and code problems.
- Natural Programming
- Collection of projects includes screenshots on the development of environment designs, methods, and principles.
- Omega Project
- Research includes components that manipulate affine constraints, and analyzes and transforms programs.
- Online Guide to Constraint Programming
- Tutorial covers FAQs, benefits and problems with example codes.
- Pascal Van Hentenrych
- Computer Science professor presents projects in constraint programming. With overviews and publications.
- Programming with Constraints: an Introduction
- A course guideline on constraint programming by Kim Mariott. Includes the fundamentals of constraint programming for artificial intelligence technologies.
- StarFLIP++
- Optimizes combinatorial problems with fuzzy constraints. Provides library map overview, documentations, screenshot, and related publications.
- ThingLab - Constraint-Oriented Simulation Laboratory
- Discusses a thesis report on an object-oriented programming that supports constraint object implementation.
- UW DeltaBlue Constraint Solver
- Presents details about DeltaBlue, local propagation algorithms, as well as cyclic constraint rules.
|