Sciweavers

7092 search results - page 76 / 1419

» Parallelizing constraint programs

223

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 5 months ago

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

101

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

Decomposing Global Grammar Constraints

15 years 10 months ago

Decomposing Global Grammar Constraints

Download www.cse.unsw.edu.au

Claude-Guy Quimper, Toby Walsh

claim paper

Read More »

112

APLAS
2006
ACM

97views Programming Languages» more APLAS 2006»

Type Processing by Constraint Reasoning

15 years 10 months ago

Type Processing by Constraint Reasoning

Download ww2.cs.mu.oz.au

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny

claim paper

Read More »

81

CP
2005
Springer

92views Artificial Intelligence» more CP 2005»

A Constraint Based Agent for TAC-SCM

15 years 10 months ago

A Constraint Based Agent for TAC-SCM

Download yunus.hacettepe.edu.tr

David A. Burke, Kenneth N. Brown

claim paper

Read More »

82

CP
2005
Springer

70views Artificial Intelligence» more CP 2005»

Randomization for Multi-agent Constraint Optimization

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