Garnet Toolkit FAQ
Frequently Asked Questions about Garnet user interface development environment for Common Lisp and X11 or Macintosh developed by User Interface Software Group, Human-Computer Interaction Institute, Carnegie Mellon University.
Graph Theory and Constraint Programming
University course: definitions, lecture notes, books, language descriptions, links.
Guide to Constraint Programming
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.
GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces
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.
ILOG Solver
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.
Koalog Constraint Solver
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.
MAC
FTP download, no separate documentation.
MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems
ResearchIndex: In the last 20 years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased so much that it quickly became vital to compare performance to propose a small number of good methods.
Natural Programming
Attempt to make a system that is easier to learn and use than anything available to novice programmers today: HANDS: Human-centered Advances for Novice Development of Software. School of Computer Science, Carnegie Mellon University; NSF funded.
Omega Project
Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints over integer variables; and developing frameworks to analyze and transform programs.
Pascal Van Hentenryck
Brown University, US. Some constraint papers.
Principles and Practice of Constraint Programming
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.
ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language
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.
Seventh International Conference on Principles and Practice of Constraint Programming
2001 November 26 - December 1, Paphos, Cyprus.
Sketchpad, a man-machine graphical communication system
Article by Ivan Edward Sutherland. Describe of the first constraint language.
StarFLIP++
Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
Techno-Pulsar
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.
ThingLab - A Constraint-Oriented Simulation Laboratory
Book by Alan Borning.
ThingLabII: Constraint-based user interfaces
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, extensible set of primitive user interface building blocks.
University of Essex: Constraint Programming Group
Several very interesting projects: GENET; Guided Local Search, GLS; Guided Genetic Algorithm, GLS; Adaptive Constraint Satisfaction, ACS; Computer-Aided Constraint-Programming, CACP.
Results: Previous 1 2 3 4 5 6 7 8 9 10 Next
Site
Menu 
