Constraint Handling Rules: CHR
Computers - Programming - Languages - Constraint. High-level programming language to write constraint systems; makes it easy to define constraint reasoning: simplification and propagation, and incremental solving (satisfaction) of constraints. Run and test CHR online; do a demo, try it now. ...
www.cs.kuleuven.be
Guide to Constraint Programming
Computers - Programming - Languages - Constraint. Online tutorial/textbook for beginners to the area of constraint programming. This area is of the set of less known software technologies, but is evolving rapidly and has a growing, significant commercial interest. ...
ktiml.mff.cuni.cz
DeltaBlue Constraint Solver
Computers - Programming - Languages - Constraint. Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site. ...
Constraint Logic Programming: CLP
Computers - Programming - Languages - Logic-based - Constraint Logic. Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics. ...
www.ofai.at
ThingLabII: Constraint-based user interfaces
Computers - Programming - Languages - Constraint. Supports exploration of constraint-based user interfaces; consists of a set of classes that define constraints and constrainable objects called things. Incremental constraint satisfier, module compiler, construction-set style user interface, many tools ...
www.cs.cmu.edu
University of Washington: Constraint-Based Systems
Computers - Programming - Languages - Constraint. Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals. ...
ResearchIndex: Hierarchical Constraint Logic Programming
Computers - Programming - Languages - Logic-based - Constraint Logic. A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, decision support), one must express preferences (soft constraints ...
citeseerx.ist.psu.edu
Advanced Constraint Techniques for User Interface Implementation
Computers - Programming - Languages - Constraint. 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 ...
cslu.cse.ogi.edu
ECLiPSe: The ECRC Constraint Logic Parallel System
Computers - Programming - Languages - Logic-based - Constraint Logic. Compiler-oriented development environment for constraint-logic applications with extended Prolog technology, persistent knowledge base, constraint-handling facilities and parallelism. Runs on Unix/Linux, beta version for Windows 9x/NT/2000 ...
www.win.tue.nl
ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language
Computers - Programming - Languages - Constraint. The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects. ...
citeseerx.ist.psu.edu
A Comparative Study of Eight Constraint Programming Languages
Computers - Programming - Languages - Logic-based - Constraint Logic. Compares efficiency of 8 Constraint Logic Programming (CLP) systems in the setting of finite domains, and a specific aspect of their expressiveness: that concerning reification and meta-constraints. ...
Constraint Satisfaction Problems
Computers - Computer Science - Theoretical - Complexity Theory. Research group in the Computing Laboratory, Oxford University. ...
www.comlab.ox.ac.uk
Geometric Constraint Solving
Science - Math - Publications - Online Texts. An electronic primer by William Bouma, Xiangping Chen, Ioannis Fudos, Christoph Hoffmann, and Pamela J. Vermeer. ...
www.cs.purdue.edu
Einstein Constraint Equations
Science - Physics - Mathematical Physics - Events - Past Events. Isaac Newton Institute, Cambridge, UK; 12--16 December 2005. ...
Constraints Archive
Computers - Programming - Languages - Constraint. Holds comp.constraints FAQ, pages of constraint-related pointers, source code for various systems, benchmarks, directory of people interested in constraints, constraint bibliographies, collection of online papers, links. Clearly the product of much work ...
4c.ucc.ie
Pascal Van Hentenryck
Computers - Programming - Languages - Constraint. Brown University, US. Some constraint papers. ...
www.cs.brown.edu
E-constraints.net
Computers - Programming - Languages - Constraint. Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links. ...
www.e-constraints.net
Gecode
Computers - Programming - Languages - Constraint. Generic Constraint Development Environment. Constraint solver implemented as C++ library. Main goals: modifiability, extensibility, speed. Features: integer and set variables, large constraint set, copying-based search. [Open Source, BSD] ...
www.gecode.org
Mozart Programming System
Computers - Programming - Languages - Oz. Free major development platform for open, fault-tolerant, distributed, constraint and logic programming applications: full development environment, tools, doc ...
top
