Search Sciweavers | Sciweavers

7092 search results - page 117 / 1419

» Parallelizing constraint programs

click to vote

CP
2006
Springer

91views Artificial Intelligence» more CP 2006»

Constraint Programming Models for Graceful Graphs

14 years 1 months 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 27 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 11 months ago

Download opus.kobv.de

Tobias Achterberg, Timo Berthold, Thorsten Koch, K...

claim paper

Read More »

click to vote

CPAIOR
2008
Springer

140views Operations Research» more CPAIOR 2008»

A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers