Sciweavers

7092 search results - page 77 / 1419

» Parallelizing constraint programs

29

CP
2005
Springer

115views Artificial Intelligence» more CP 2005»

Consistency for Quantified Constraint Satisfaction Problems

14 years 2 months ago

Consistency for Quantified Constraint Satisfaction Problems

Download www.cs.st-andrews.ac.uk

Peter Nightingale

claim paper

Read More »

24

CP
2005
Springer

79views Artificial Intelligence» more CP 2005»

Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains

14 years 2 months ago

Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains

Download www.mff.cuni.cz

Josef Zlomek, Roman Barták

claim paper

Read More »

17

PPDP
2005
Springer

132views Programming Languages» more PPDP 2005»

Abstract interpretation for constraint handling rules

14 years 2 months ago

Abstract interpretation for constraint handling rules

Download people.cs.kuleuven.be

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck

claim paper

Read More »

16

CP
2004
Springer

82views Artificial Intelligence» more CP 2004»

On-Demand Bound Computation for Best-First Constraint Optimization

14 years 2 months ago

On-Demand Bound Computation for Best-First Constraint Optimization

Download people.csail.mit.edu

Martin Sachenbacher, Brian C. Williams

claim paper

Read More »

27

CP
2004
Springer

93views Artificial Intelligence» more CP 2004»

A New Algorithm for Maintaining Arc Consistency After Constraint Retraction

14 years 2 months ago

A New Algorithm for Maintaining Arc Consistency After Constraint Retraction

Download iti.mff.cuni.cz

Pavel Surynek, Roman Barták

claim paper

Read More »

« Prev « First page 77 / 1419 Last » Next »