K. Marriott and P. J. Stuckey. Programming with constraints: an introduction. MIT Press, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Obtaining Origin-Destination Data at Optimal Cost at Urban .. - Tomas, Andrade, Costa (2001) (Correct)
....the use of a Constraint Programming system for solving the problem. Diculties in modeling the problem in an suitable way led us to write the programs in C language, although implementing search strategies based on usual techniques in Combinatorial Optimization and Constraint Programming (e.g. [6] for some bibliographic references) Because interesting programming problems were tackled, we think it worthwhile presenting some of the ideas of the designed algorithms. As we shall see, the analysis of the programs results gave us a deep insight on the problem structure, that allows to greatly ....
Marriott K., and Stuckey P.: Programming with Constraints { An Introduction, The MIT Press, 1998.
To the Gates of HAL: a HAL tutorial - Banda, Demoen, Marriott, Stuckey (2002) Self-citation (Marriott Stuckey) (Correct)
....to build constraint solvers in HAL. In Section 9 we discuss the current implementation and Section 10 concludes with a discussion of future work. 2 A First Example The basic HAL syntax follows the standard CLP syntax, with variables, literals, rules and predicates de ned as usual (see, e.g. [18] for an introduction to CLP) Our philosophy has been to design a language which is as pure as possible, without unduly compromising eciency. The module system in HAL is similar to that of Mercury. A module is de ned in a le, it imports the modules it uses and has export annotations on the ....
K. Marriott and P.J. Stuckey. Programming with Constraints: an Introduction. MIT Press, 1998.
When Do Bounds and Domain Propagation Lead to the Same Search.. - Schulte, Stuckey (2001) (9 citations) Self-citation (Stuckey) (Correct)
....modified, the domains of x1 and x2 remain unchanged. The resulting domain D # is boundsconsistent with the constraint c. Notice that bounds propagation has determined less information than domain propagation. Note that common definitions for bounds propagators for x1 = x2 x3 (see for example [11]) do not maintain bounds consistency. For the domain D(x1 ) 4 . 8] D(x2 ) 1 . 3] D(x3 ) 1 . 3] the definition of [11] gives no propagation, but x2 = has no solution. It is relatively straightforward to prove that the propagators defined in Figure 1 maintain bounds consistency. ....
....bounds propagation has determined less information than domain propagation. Note that common definitions for bounds propagators for x1 = x2 x3 (see for example [11] do not maintain bounds consistency. For the domain D(x1 ) 4 . 8] D(x2 ) 1 . 3] D(x3 ) 1 . 3] the definition of [11] gives no propagation, but x2 = has no solution. It is relatively straightforward to prove that the propagators defined in Figure 1 maintain bounds consistency. Theorem 2.4. For all c, the set of propagators defined in Figure 1 maintains bounds consistency for c. We conclude this ....
[Article contains additional citation context not shown here]
K. Marriott and P. J. Stuckey. Programming with Constraints: an Introduction. The MIT Press, 1998.
Maintaining Privacy on Derived Objects - Nicola Zannone Via (Correct)
No context found.
K. Marriott and P. J. Stuckey. Programming with constraints: an introduction. MIT Press, 1998.
Physician Scheduling in Emergency Rooms - Michel Gendreau Jacques (Correct)
No context found.
Marriott, K., Stuckey, P.J.: Programming with Constraints: An Introduction. MIT Press, 1998.
Report on Early DfT Support - ELES, JERVAN, MOHAMMED, PENG (2000) (1 citation) (Correct)
No context found.
K. Marriott, P.J. Stuckey, Programming with Constraints: Introduction, MIT Press, 1998.
High-Level Test Generation and Built-In . . . - Jervan (2002) (Correct)
No context found.
K. Marriott, P. J. Stuckey, Programming with Constraints: Introduction, MIT Press, 1998.
GADGET: A Toolkit for Optimization-Based Approaches to.. - Fogarty, Hudson (2003) (1 citation) (Correct)
No context found.
Marriott, K. and Stuckey, P. (1998) Programming with Constraints: An Introduction. MIT Press, Cambridge, MA.
On Visibility Problems in the Plane -- Solving Minimum - Vertex Guard Problems (Correct)
No context found.
Marriott K., Stuckey P.: Programming with Constraints -- An Introduction. MIT Press (1998).
On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (2 citations) (Correct)
No context found.
K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.
Combining Operational Semantics, Logic Programming and Literate.. - Bowen (2000) (Correct)
No context found.
Marriott, K. and Stuckey, P.J., Programming with Constraints: An Introduction. The MIT Press, 1998.
Transformation Rules for Locally Stratified.. - Fioravanti.. (2004) (1 citation) (Correct)
No context found.
K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.
Constraint Lingo: Towards high-level constraint programming - Finkel, Marek, Truszczynski (2004) (Correct)
No context found.
K. Marriott and P.J. Stuckey. Programming with Constraints: An Introduction. MIT Press, Cambridge, MA, 1998.
An Empirical Study of Different Branching Strategies for.. - Park (2004) (Correct)
No context found.
K. Marriott and P. J. Stuckey. Programming with Constraint: An Introduction. MIT press, 1990. 70
Synthesizing Autonomic Compositions in Grid Environment - Agarwal (2003) (Correct)
No context found.
K. Marriott and P.J. Stuckey. Programming with Constraints: an Introduction. MIT Press, 1999.
GADGET: A Toolkit for Optimization-Based Approaches to.. - Fogarty, Hudson (2003) (1 citation) (Correct)
No context found.
Marriott, K. and Stuckey, P. (1998) Programming with Constraints: An Introduction. MIT Press, Cambridge, MA.
Soft Constraint Propagation and Solving in.. - Bistarelli.. (2002) (1 citation) (Correct)
No context found.
K. Marriott and P. J. Stuckey. Programming with constraints: an introduction. MIT Press, 1998.
Programming Finite-Domain Constraint Propagators in Action Rules - Zhou (2002) (Correct)
No context found.
Marriott, K., and Stuckey, P. Programming with Constraints: An Introduction. MIT Press, 1998.
A Note on Sensor Location for Traffic Counting at Roundabouts.. - Tomas (2001) (Correct)
No context found.
Marriott K., and Stuckey P.: Programming with Constraints { An Introduction, The MIT Press, 1998.
Constraint Solver Synthesis using Tabled - Resolution For Constraint (Correct)
No context found.
K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.
A Visualization Tool for Constraint Handling Rules - Abdennadher, Saft (2001) (Correct)
No context found.
K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.
A Synthesis of Constraint Satisfaction and Constraint Solving - Maher (Correct)
No context found.
K. Marriott & P.J. Stuckey, Programming with Constraints : An Introduction, MIT Press, 1998.
Propagation Completeness of Reactive Constraints - Maher (2002) (1 citation) (Correct)
No context found.
K. Marriott & P.J. Stuckey, Programming with Constraints : An Introduction, MIT Press, 1998.
Analysis of a Global Contiguity Constraint - Maher (2002) (1 citation) (Correct)
No context found.
K. Marriott & P.J. Stuckey, Programming with Constraints : An Introduction, MIT Press, 1998.
Modelling Optimal Location of Traffic Counting Points at Urban.. - Tomas (2001) (Correct)
No context found.
Marriott K., and Stuckey P.: Programming with Constraints { An Introduction, The MIT Press, 1998.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC