J.N. Hooker, Hak-Jin Kim, G. Ottosson  Home/Search
Context Related
| csd.uu.se/~greger/pap...aor_modeling.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csd.uu.se/~greger/papers/ (more) Homepages: G.Ottosson |
Rate this article:      (best)Comment on this article |
Abstract: Constraint programming offers modeling features and solution methods that are unavailable in mathematical programming but are often flexible and efficient for scheduling and other combinatorial problems. Yet mathematical programming is well suited to declarative modeling languages and is more efficient for some important problem classes. This raises this issue as to whether the two approaches can be combined in a declarative modeling framework. This paper proposes a general declarative modeling ... (Update)
Context of citations to this paper: More
...The purpose here is to propose such a scheme for unifying the solution methods of the two elds. We address elsewhere [27, 28, 30] the issue of a uni ed modeling framework. Our scheme is based on exploiting two dualities: the duality of search vs. inference and the...
...to suit the traditional models. 3 Modeling for Hybrid Solvers We begin with the framework of mixed logical linear programming or MLLP [4, 5], in which conditional constraints link the discrete and continuous elements of the problem. The antecedents of the conditionals...
Cited by: More
Local Probing Applied to Scheduling - Kamarainen, Sakkout (2002) (Correct)
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer .. - Thorsteinsson (2001) (Correct)
Mixed Global Constraints and Inference in Hybrid CLP-IP.. - Ottosson.. (2001) (Correct)
Active bibliography (related documents): More All
0.5: A Scheme for Unifying Optimization and Constraint.. - Hooker, Ottosson, .. (1999) (Correct)
0.5: Numerica: a Modeling Language for Global Optimization - van Hentenryck (1997) (Correct)
0.4: On Integrating Constraint Propagation and Linear.. - Ottosson, Hooker, .. (1999) (Correct)
Similar documents based on text: More All
0.4: Integration of Constraint Programming and Integer Programming.. - Ottosson (2000) (Correct)
0.3: Logic-Based Benders Decomposition - Hooker, Ottosson (1995) (Correct)
0.1: The Benefits of Global Constraints for the.. - Milano, Ottosson, .. (2000) (Correct)
Related documents from co-citation: More All
8: Logic-Based Methods for Optimization - Hooker - 1994
8: Branch-andinfer: A unifying framework for integer and ønite domain constraint pr.. (context) - Bockmayr, Kasper - 1998
5: Combinatorial problem solving in constraint logic programming with cooperating s.. (context) - Beringer, de Backer - 1995
BibTeX entry: (Update)
Hooker, J. N.; Kim, H.-J.; and Ottosson, G. 1998. A declarative modeling framework that integrates solution methods. Annals of Operations Research, Special Issue on Modeling Languages and Approaches, submitted. http://citeseer.ist.psu.edu/hooker99declarative.html More
@incollection{ hooker98declarative,
author = "J. Hooker and H. Kim and G. Ottosson",
title = "A declarative modeling framework that integrates solution methods",
booktitle = "Annals of Operations Research, Special Issue on Modeling Languages and
Approaches, submitted.",
year = "1998",
url = "citeseer.ist.psu.edu/hooker99declarative.html" }
Citations (may not include all citations):380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
218 AMPL: A Modeling Language for Mathematical Programming (context) - Fourer, Gay et al. - 1992
92 GAMS-A User's Guide - Brooke, Kendrick et al. - 1992
65 Improved CLP scheduling with task intervals - Caseau, cois - 1994
61 Extending CHIP in order to solve complex scheduling and plac.. (context) - Aggoun, Beldiceanu - 1993
61 Introducing global constraints in CHIP - Beldiceanu, Contejean - 1994
57 Constrained global optimization: Algorithms and Applications (context) - Pardalos, Rosen - 1987
54 A modeling language for mathematical programming (context) - Fourer, Gay et al. - 1990
50 Programming with Constraints: An Introduction (context) - Marriott, Stuckey - 1998
42 the development of a general algebraic modeling system in a .. (context) - Brooke, Meeraus - 1982
26 A new approach to integrating mixed integer programming and .. - Rodosek, Wallace et al. - 1997
24 Solving small TSPs with constraints - Caseau, cois - 1997
18 A filtering algorithm for constraints of difference in CSPs (context) - R'egin - 1994
17 The OPL Optimization Programming Language (context) - Van Hentenryck - 1999
8 Discrete Applied Mathematics (context) - Hooker, Osorio et al. - 1997
6 Extending a general-purpose algebraic modeling language to c.. - Fourer - 1994
3 Succinct relaxations for some discrete problems - Hooker, Kim - 1998
3 A unifying framework for integer and finite domain constrain.. - Bockmayr, Kasper - 1998
2 Helios: A modeling language for global optimization and its .. (context) - Michel, Van Hentenryck - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csd.uu.se/~greger/papers/): More
Towards an Open Finite Domain Constraint Solver - Carlsson, Carlson, Ottosson (Correct)
Anytime Frequency Allocation with Soft Constraints - Carlsson, Ottosson (1996) (Correct)
Using Global Constraints for Frequency Allocation - Ottosson, Carlsson (1997) (Correct)
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