Sciweavers

1986 search results - page 17 / 398

» constraints 2006

61

CORR
2006
Springer

84views Education» more CORR 2006»

On the freeze quantifier in Constraint LTL: decidability and complexity

15 years 4 months ago

On the freeze quantifier in Constraint LTL: decidability and complexity

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ranko Lazic, David Nowak

claim paper

Read More »

52

CORR
2006
Springer

79views Education» more CORR 2006»

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

15 years 4 months ago

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

Download www.ai.sri.com

Neil Yorke-Smith, Carmen Gervet

claim paper

Read More »

170

CORR
2006
Springer

126views Education» more CORR 2006»

Logic programs with monotone abstract constraint atoms

15 years 4 months ago

Logic programs with monotone abstract constraint atoms

Download www.cs.uky.edu

Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...

claim paper

Read More »

85

CSUR
2006

52views more CSUR 2006»

Propositional Satisfiability and Constraint Programming: A comparative survey

15 years 4 months ago

Propositional Satisfiability and Constraint Programming: A comparative survey

Download research.microsoft.com

Lucas Bordeaux, Youssef Hamadi, Lintao Zhang

claim paper

Read More »

74

ENTCS
2006

89views more ENTCS 2006»

Soft Constraints for Security

15 years 4 months ago

Soft Constraints for Security

Download www.cs.ucc.ie

Giampaolo Bella, Stefano Bistarelli, Simon N. Fole...

claim paper

Read More »

« Prev « First page 17 / 398 Last » Next »