Sciweavers

7092 search results - page 78 / 1419

» Parallelizing constraint programs

106

CP
2003
Springer

58views Artificial Intelligence» more CP 2003»

Symmetry Breaking Ordering Constraints

15 years 11 months ago

Symmetry Breaking Ordering Constraints

Download www.math.unipd.it

Zeynep Kiziltan

claim paper

Read More »

101

CP
2003
Springer

79views Artificial Intelligence» more CP 2003»

Constraints over Ontologies

15 years 11 months ago

Constraints over Ontologies

Download e-lab.bouygues.com

François Laburthe

claim paper

Read More »

116

CP
2003
Springer

69views Artificial Intelligence» more CP 2003»

Solving 'Still Life' with Soft Constraints and Bucket Elimination

15 years 11 months ago

Solving 'Still Life' with Soft Constraints and Bucket Elimination

Download personals.ac.upc.edu

Javier Larrosa, Enric Morancho

claim paper

Read More »

145

CP
2003
Springer

76views Artificial Intelligence» more CP 2003»

Consistency and Propagation with Multiset Constraints: A Formal Viewpoint

15 years 11 months ago

Consistency and Propagation with Multiset Constraints: A Formal Viewpoint

Download www.cse.unsw.edu.au

Toby Walsh

claim paper

Read More »

177

EUROCAST
1994
Springer

139views Hardware» more EUROCAST 1994»

Illustrating Constraint Programming Systems in Logistic Planning

15 years 10 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 »