Sciweavers

1353 search results - page 4 / 271

» Streamlined Constraint Reasoning

24

TIME
1994
IEEE

100views Automated Reasoning» more TIME 1994»

Propagating Possibilistic Temporal Constraints

13 years 11 months ago

Propagating Possibilistic Temporal Constraints

Download www2.cs.uregina.ca

Rasiah Loganantharaj

claim paper

Read More »

20

CCL
1994
Springer

102views Automated Reasoning» more CCL 1994»

Constraints for Polymorphic Behaviours of Concurrent ML

13 years 11 months ago

Constraints for Polymorphic Behaviours of Concurrent ML

Download www.daimi.au.dk

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

27

PLILP
1994
Springer

109views Programming Languages» more PLILP 1994»

Abstracting Synchronization in Concurrent Constraint Programming

13 years 11 months ago

Abstracting Synchronization in Concurrent Constraint Programming

Download www.cs.unipr.it

Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi

claim paper

Read More »

21

KR
1989
Springer

75views Automated Reasoning» more KR 1989»

Temporal Constraint Networks

13 years 11 months ago

Temporal Constraint Networks

Download www.cs.mtu.edu

Rina Dechter, Itay Meiri, Judea Pearl

claim paper

Read More »

17

ICLP
2010
Springer

99views Automated Reasoning» more ICLP 2010»

Local Branching in a Constraint Programming Framework

13 years 11 months ago

Local Branching in a Constraint Programming Framework

Download drops.dagstuhl.de

Fabio Parisini

claim paper

Read More »

« Prev « First page 4 / 271 Last » Next »