Sciweavers

4081 search results - page 42 / 817

» The Impact of Constraint Programming

14

CP
2005
Springer

70views Artificial Intelligence» more CP 2005»

Randomization for Multi-agent Constraint Optimization

14 years 2 months ago

Randomization for Multi-agent Constraint Optimization

Download lia.deis.unibo.it

Quang Nguyen, Boi Faltings

claim paper

Read More »

25

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 »

22

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 »

21

ICLP
2005
Springer

96views Automated Reasoning» more ICLP 2005»

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis

14 years 1 months ago

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis

Download www.informatik.uni-ulm.de

Thom W. Frühwirth

claim paper

Read More »

17

PPDP
2005
Springer

132views Programming Languages» more PPDP 2005»

Abstract interpretation for constraint handling rules

14 years 1 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 »

« Prev « First page 42 / 817 Last » Next »