W.J. van Hoeve  Home/Search
Context
Related
| homepages.cwi.nl/~wjvh/pap...towards.ps cornell.edu/~vanhoeve/pape...towards.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: homepages.cwi.nl/~wjvh/publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this report. However, in the next section of this chapter a proposal for a general solution scheme is presented (Update)
Active bibliography (related documents): More All
0.6: Extending an Algebraic Modeling Language to Support Constraint.. - Fourer, Gay (2002) (Correct)
0.5: Representation and Reasoning with Non-Binary Constraints - Stergiou (2001) (Correct)
0.5: A Parallel Interval-Based Constraint Language: Implementation .. - Cohen, Kalathur (1995) (Correct)
Similar documents based on text: More All
0.3: Specification of PSIDE - de Swart (Correct)
0.3: PSIDE Users' Guide - Lioen, de Swart, al. (1998) (Correct)
0.2: Algebraic Specification of a System for Traffic.. - van Vlijmen, van Waveren (1993) (Correct)
BibTeX entry: (Update)
@misc{ hoeve-towards,
author = "W.J. van Hoeve",
title = "Towards the Integration of Constraint Logic Programming and Mathematical
Programming",
url = "citeseer.ist.psu.edu/vanhoeve00towards.html" }
Citations (may not include all citations):267 The Constraint Logic Programming Language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988
261 An introduction to Prolog III (context) - Colmerauer - 1990
191 Algorithms for Constraint-Satisfaction Problems: A Survey - Kumar - 1992
40 On representatives of subsets (context) - Hall - 1935
33 Sparse Matrix Technology (context) - Pissanetzky - 1984
26 A new approach to integrating mixed integer programming and .. - Rodosek, Wallace et al. - 1999
23 Branch and infer: A unifying framework for integer and finit.. (context) - Bockmayr, Kasper - 1998
20 Paragon Decision Technology (context) - Bisschop, Optimization - 1999
20 Paragon Decision Technology (context) - Bisschop, Roelofs et al. - 1999
20 Paragon Decision Technology (context) - Bisschop, Roelofs et al. - 1999
19 On integrating constraint propagation and linear programming.. - Ottoson, Hooker et al. - 1999
15 Constraint programming: In pursuit of the holy grail - Bartak - 1999
7 Mixed logicallinear programming - Hooker, logical et al. - 1997
6 Extending a general-purpose algebraic modeling language to c.. - Fourer - 1997
6 Interval computations: Introduction (context) - Kearfott - 1996
4 and other logic puzzles (context) - Smullyan, or - 1982
2 Properties of some combinatorial optimization problems and t.. (context) - Darby-Dowman, Little - 1998
2 Mathematical Modeling and Optimization - An Essay for the De.. (context) - Hurlimann - 1999
2 Department of Computer Science (context) - Benhamou, McAllester et al. - 1994
1 A sheme for unifying optimization and constraint satisfactio.. (context) - Hooker, Ottoson et al. - 1999
1 cient logic-to-IP translation procedure (context) - Hurlimann - 1998
1 LPL: A structured language for modeling linear programs (context) - Hurlimann - 1987
1 prologianet.univ (context) - IV - 1997
Documents on the same site (http://homepages.cwi.nl/~wjvh/publ.html): More
Parallel Branch-and-Bound Algorithms using Semidefinite.. - van Hoeve (1999) (Correct)
Decomposition Based Search - a Theoretical And Experimental.. - van Hoeve, Milano (2003) (Correct)
The alldifferent Constraint: A Survey - van Hoeve (2001) (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