Related:
Constraint Editor System
Sponsored Links:
Constraint Handling Rules: CHR (Popularity:  )
(Score: 15.35)
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr-intro.html
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.
Category:
Main\Computers\Programming\Languages\Constraint
|
University of Essex: Constraint Programming Group (Popularity: )
(Score: 14.71)
http://cswww.essex.ac.uk/CSP/
Several very interesting projects: GENET; Guided Local Search, GLS; Guided Genetic Algorithm, GLS; Adaptive Constraint Satisfaction, ACS; Computer-Aided Constraint-Programming, CACP.
Category:
Main\Computers\Programming\Languages\Constraint
|
Advanced Constraint Techniques for User Interface Implementation (Popularity: )
(Score: 13.48)
http://cslu.cse.ogi.edu/nsf/isgw97/reports/hudson.html
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 ...
Category:
Main\Computers\Programming\Languages\Constraint
|
HAL (Popularity: )
(Score: 13.46)
http://www.csse.monash.edu.au/~mbanda/hal/
A strongly typed, weakly moded, constraint logic/functional language designed to support the construction and extension and use of new constraint solvers.
Category:
Main\Computers\Programming\Languages\Functional
|
ThingLabII: Constraint-based user interfaces (Popularity: )
(Score: 13.19)
http://www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/constrnt/systems/thinglab/0.html
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 ...
Category:
Main\Computers\Programming\Languages\Constraint
|
University of Washington: Constraint-Based Systems (Popularity: )
(Score: 12.71)
http://www.cs.washington.edu/research/constraints/
Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals.
Category:
Main\Computers\Programming\Languages\Constraint
|
A Comparative Study of Eight Constraint Programming Languages (Popularity: )
(Score: 12.54)
http://www.comp.leeds.ac.uk/hill/Papers/abstracts/8Con.html
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.
Category:
Main\Computers\Programming\Languages\Logic-based
|
Guide to Constraint Programming (Popularity: )
(Score: 12.18)
http://ktiml.mff.cuni.cz/~bartak/constraints/
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.
Category:
Main\Computers\Programming\Languages\Constraint
|
Constraints Archive (Popularity: )
(Score: 11.96)
http://4c.ucc.ie/web/archive/index.jsp
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, extensive links. Clearly the productof ...
Category:
Main\Computers\Programming\Languages\Constraint
|
Principles and Practice of Constraint Programming (Popularity: )
(Score: 11.88)
http://www-mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=8270
Book by Vijay Saraswat and Pascal Van Hentenryck. Description of book, MIT Press: collection of 23 original papers is first effort to assemble the work of constraint programming researchers scattered across the world in multiple disciplines.
Category:
Main\Computers\Programming\Languages\Constraint
|
DeltaBlue Constraint Solver (Popularity: )
(Score: 11.72)
http://www.cs.washington.edu/research/constraints/deltablue/
Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.
Category:
Main\Computers\Programming\Languages\Constraint
|
Koalog Constraint Solver (Popularity: )
(Score: 10.63)
http://www.koalog.com/php/jcs.php
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 onboolean ...
Category:
Main\Computers\Programming\Languages\Constraint
|
Software by P.B. Stark and Coauthors (Popularity: )
(Score: 8.98)
http://128.32.135.2/~stark/Code/
Bvls.f solves least-squares problems with bounds on the variables. Qr.f computes QR decompositions in a stable way. Sbl1.f finds bounds on linear functionals of an n-vector subject to an l1 constraint on the misfit to a set of linear relations, and linear ...
Category:
Main\Computers\Programming\Languages\Fortran
|
Alan Frisch (Popularity: )
(Score: 8.91)
http://www-users.cs.york.ac.uk/~frisch/
Artificial Intelligence, constraint satisfaction problems
Category:
Main\Computers\Computer Science\Theoretical\Complexity Theory
|
UML 1.1 Object Constraint Language Specification (Popularity: )
(Score: 8.91)
http://www.rational.com/media/uml/resources/media/ad970808_UML11_OCL.pdf
Defines the OCL, which is used to specify the well-formedness of the UML, by Rational.
Category:
Main\Computers\Programming\Methodologies\Modeling Languages
|
Explanation-based constraint programming (Popularity: )
(Score: 8.81)
http://www.e-constraints.net/
Definitions, applications, libraries, links.
Category:
Main\Computers\Programming\Languages\Constraint
|
TMCL - WG (Popularity: )
(Score: 8.81)
http://www.isotopicmaps.org/mailman/listinfo/tmcl-wg
Public forum for discussion of future Topic Map Constraint Language.
Category:
Main\Reference\Knowledge Management\Knowledge Representation\Topic Maps
|
Constraint Satisfaction Problems (Popularity: )
(Score: 8.72)
http://web.comlab.ox.ac.uk/oucl/research/areas/constraints/index.html
Research group in the Computing Laboratory, Oxford University.
Category:
Main\Computers\Computer Science\Theoretical\Complexity Theory
|
RFC 3212 (Popularity: )
(Score: 8.72)
http://www.faqs.org/rfcs/rfc3212.html
Constraint-Based LSP Setup using LDP. B. Jamoussi, Ed., L. Andersson, R. Callon, et al. January 2002.
Category:
Main\Computers\Internet\RFCs\3201 - 3300
|
van Beek, Peter (Popularity: )
(Score: 8.72)
http://ai.uwaterloo.ca/~vanbeek/
University of Waterloo. Constraint programming, compiler optimization, and scheduling.
Category:
Main\Computers\Artificial Intelligence\People
|
van Beek, Peter (Popularity: )
(Score: 8.54)
http://www.cs.ualberta.ca/~vanbeek/
University of Alberta - Constraint programming and its application to temporal reasoning, scheduling, and planning.
Category:
Main\Computers\Computer Science\People\V
|
CP (Popularity: )
(Score: 8.54)
http://www.cs.ualberta.ca/~ai/cp/
International Conference on Principles and Practice of Constraint Programming. Links to the individual sites of the annual meetings.
Category:
Main\Computers\Computer Science\Conferences
|
Ertl, Anton (Popularity: )
(Score: 8.46)
http://www.complang.tuwien.ac.at/anton/
Research interests include compilers, constraint logic, and Linux filesystems. Links and essays.
Category:
Main\Computers\Software\Operating Systems\Linux
|
Seventh International Conference on Principles and Practice of Constraint Programming (Popularity: )
(Score: 8.46)
http://www2.cs.ucy.ac.cy/~iclpcp01/CP01home.html
2001 November 26 - December 1, Paphos, Cyprus.
Category:
Main\Computers\Programming\Languages\Constraint
|
Graph Theory and Constraint Programming (Popularity: )
(Score: 8.46)
http://www.cs.adfa.edu.au/~gtc/GTC/
University course: definitions, lecture notes, books, language descriptions, links.
Category:
Main\Computers\Programming\Languages\Constraint
|
Why Can't Humans Talk to a Computer ? (Popularity: )
(Score: 8.46)
http://www.nyu.edu/pages/linguistics/ling.html
The technical problems are answered by non-procedural logical constraint-based languages like Prolog.
Category:
Main\Computers\Programming\Languages\Logic-based
|
Morton Environmental (Popularity: )
(Score: 8.46)
http://www.mortonenv.com/
Surveys and assessments, constraint analyses, permit and compliance services in North and Central America.
Category:
Main\Science\Biology\Ecology\Consultants
|
Bacchus, Fahiem (Popularity: )
(Score: 8.37)
http://www.cs.toronto.edu/~fbacchus/
University of Toronto. Planning systems, temporal logic, constraint satisfaction problems and formal models.
Category:
Main\Computers\Artificial Intelligence\People
|
CP97 (Popularity: )
(Score: 8.37)
http://www.mpi-sb.mpg.de/conferences/CP97/
Third International Conference on Principles and Practice of Constraint Programming. Schloss Hagenberg, Austria; 29 October -- 1 November 1997.
Category:
Main\Computers\Computer Science\Conferences\1997
|
CP2002 (Popularity: )
(Score: 8.37)
http://www.cs.cornell.edu/cp2002/
Eighth International Conference on Principles and Practice of Constraint Programming. Cornell University, Ithaca, NY, USA; 8--13 September 2002.
Category:
Main\Computers\Computer Science\Conferences\2002
|
JFPLC'2001 (Popularity: )
(Score: 8.37)
http://contraintes.inria.fr/jfplc2001/index_en.html
Tenth International French Speaking Conference on Logic and Constraint Programming. Paris, France, April 24 - 27, 2001.
Category:
Main\Computers\Computer Science\Conferences\2001
|
EmPowerTec (Popularity: )
(Score: 8.29)
http://www.empowertec.de
Offers various products for using OCL (Object Constraint Language) expressions in UML models including an AddIn for Rational Rose. Also provides a collection of resources on OCL.
Category:
Main\Computers\Programming\Methodologies\Modeling Languages
|
Geometric Constraint Solving (Popularity: )
(Score: 8.21)
http://www.cs.purdue.edu:80/homes/cmh/electrobook/intro.html
An electronic primer by William Bouma, Xiangping Chen, Ioannis Fudos, Christoph Hoffmann, and Pamela J. Vermeer.
Category:
Main\Science\Math\Publications\Online Texts
|
Borning, Alan (Popularity: )
(Score: 8.21)
http://www.cs.washington.edu/homes/borning/
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Category:
Main\Computers\Computer Science\People\B
|
Hoos, Holger H. (Popularity: )
(Score: 8.13)
http://www.cs.ubc.ca/~hoos
University of British Columbia. Preference elicitation, dynamic constraint optimization, satisfiability problems in propositional logic, computational musicology.
Category:
Main\Computers\Artificial Intelligence\People
|
DeltaBlue code archive (Popularity: )
(Score: 8.05)
ftp://ftp.cs.washington.edu/pub/constraints/code/DeltaBlue/
For incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory named after the language: C DEC, C SUN4; Common Lisp, Smalltalk.
Category:
Main\Computers\Programming\Languages\Constraint
|
Brandeis Interval Arithmetic Constraint Solver (Popularity: )
(Score: 8.04)
http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html
Java applet that solves non-linear real arithmetic constraints.
Category:
Main\Computers\Programming\Languages\Constraint
|
CLP(R) Compiler (Popularity: )
(Score: 8.04)
http://www.idiom.com/free-compilers/TOOL/CLP-1.html
Description and contact for runtime, compiler (byte-code), constraint solver; free for academic and research use.
Category:
Main\Computers\Programming\Languages\Logic-based
|
Goal Systems International (Popularity: )
(Score: 8.04)
http://www.goalsys.com/
Disseminates and applies the principles and tools of constraint management to improve organizational systems.
Category:
Main\Business\Management\Theory of Constraints\Companies
|
Goal Systems International (Popularity: )
(Score: 8.04)
http://www.goalsys.com/
Disseminates and applies the principles and tools of constraint management to improve organizational systems.
Category:
Main\Business\Management\Consulting\G
|
