Sciweavers

632 search results - page 4 / 127

» constraints 2000

21

CP
2000
Springer

159views Artificial Intelligence» more CP 2000»

Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint

13 years 12 months ago

Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint

Download www.mpi-inf.mpg.de

Kurt Mehlhorn, Sven Thiel

claim paper

Read More »

20

ECAI
2000
Springer

91views Artificial Intelligence» more ECAI 2000»

Symmetry Breaking in Constraint Programming

13 years 12 months ago

Symmetry Breaking in Constraint Programming

Download www.comp.leeds.ac.uk

Ian P. Gent, Barbara M. Smith

claim paper

Read More »

19

CAV
2000
Springer

108views Hardware» more CAV 2000»

Boolean Satisfiability with Transitivity Constraints

13 years 11 months ago

Boolean Satisfiability with Transitivity Constraints

Download www.cs.cmu.edu

Randal E. Bryant, Miroslav N. Velev

claim paper

Read More »

20

ICALP
2000
Springer

105views Programming Languages» more ICALP 2000»

Constraint Programming and Graph Algorithms

13 years 11 months ago

Constraint Programming and Graph Algorithms

Download www.mpi-inf.mpg.de

Kurt Mehlhorn

claim paper

Read More »

14

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Alcoa: the alloy constraint analyzer

13 years 11 months ago

Alcoa: the alloy constraint analyzer

Download sdg.csail.mit.edu

Daniel Jackson, Ian Schechter, Ilya Shlyakhter

claim paper

Read More »

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