Sciweavers

4117 search results - page 65 / 824
» On the Satisfiability of Complex Constraints
Sort
View
CORR
2010
Springer
77views Education» more  CORR 2010»
14 years 12 months ago
Optimization of transport protocols with path-length constraints in complex networks
Jose J. Ramasco, Marta S. de la Lama, Eduardo Lope...
38
Voted
CORR
2006
Springer
84views Education» more  CORR 2006»
14 years 12 months ago
On the freeze quantifier in Constraint LTL: decidability and complexity
Stéphane Demri, Ranko Lazic, David Nowak