Sciweavers

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