Sciweavers

7092 search results - page 76 / 1419

» Parallelizing constraint programs

62

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

14 years 9 months ago

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

24

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

Decomposing Global Grammar Constraints

14 years 3 months ago

Decomposing Global Grammar Constraints

Download www.cse.unsw.edu.au

Claude-Guy Quimper, Toby Walsh

claim paper

Read More »

24

APLAS
2006
ACM

97views Programming Languages» more APLAS 2006»

Type Processing by Constraint Reasoning

14 years 3 months ago

Type Processing by Constraint Reasoning

Download ww2.cs.mu.oz.au

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny

claim paper

Read More »

16

CP
2005
Springer

92views Artificial Intelligence» more CP 2005»

A Constraint Based Agent for TAC-SCM

14 years 2 months ago

A Constraint Based Agent for TAC-SCM

Download yunus.hacettepe.edu.tr

David A. Burke, Kenneth N. Brown

claim paper

Read More »

17

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 »

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