Sciweavers

7092 search results - page 78 / 1419

» Parallelizing constraint programs

20

CP
2003
Springer

58views Artificial Intelligence» more CP 2003»

Symmetry Breaking Ordering Constraints

14 years 2 months ago

Symmetry Breaking Ordering Constraints

Download www.math.unipd.it

Zeynep Kiziltan

claim paper

Read More »

22

CP
2003
Springer

79views Artificial Intelligence» more CP 2003»

Constraints over Ontologies

14 years 2 months ago

Constraints over Ontologies

Download e-lab.bouygues.com

François Laburthe

claim paper

Read More »

24

CP
2003
Springer

69views Artificial Intelligence» more CP 2003»

Solving 'Still Life' with Soft Constraints and Bucket Elimination

14 years 2 months ago

Solving 'Still Life' with Soft Constraints and Bucket Elimination

Download personals.ac.upc.edu

Javier Larrosa, Enric Morancho

claim paper

Read More »

25

CP
2003
Springer

76views Artificial Intelligence» more CP 2003»

Consistency and Propagation with Multiset Constraints: A Formal Viewpoint

14 years 2 months ago

Consistency and Propagation with Multiset Constraints: A Formal Viewpoint

Download www.cse.unsw.edu.au

Toby Walsh

claim paper

Read More »

36

EUROCAST
1994
Springer

139views Hardware» more EUROCAST 1994»

Illustrating Constraint Programming Systems in Logistic Planning

14 years 1 months ago

Illustrating Constraint Programming Systems in Logistic Planning

Download business.admin.uottawa.ca

Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...

Jean-Michel Thizy

claim paper

Read More »

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