Search Sciweavers | Sciweavers

2864 search results - page 75 / 573

» Constraint Programming in OPL

click to vote

CP
2006
Springer

101views Artificial Intelligence» more CP 2006»

Algorithms and Constraint Programming

14 years 23 days ago

Download www.dsi.uniroma1.it

Fabrizio Grandoni, Giuseppe F. Italiano

claim paper

Read More »

click to vote

CP
2006
Springer

91views Artificial Intelligence» more CP 2006»

Constraint Programming Models for Graceful Graphs

14 years 23 days ago

Download www.comp.leeds.ac.uk

The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...

Barbara M. Smith

claim paper

Read More »

click to vote

TIC
1998
Springer

83views System Software» more TIC 1998»

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

14 years 18 days ago

Download www.cs.umd.edu

Alexander Aiken, Manuel Fähndrich, Jeffrey S....

claim paper

Read More »

click to vote

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints

13 years 11 months ago

Download www.aaai.org

Yi-Dong Shen, Jia-Huai You

claim paper

Read More »

click to vote

CPAIOR
2008
Springer

119views Operations Research» more CPAIOR 2008»

Constraint Integer Programming: A New Approach to Integrate CP and MIP

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers