Sciweavers

949 search results - page 5 / 190
» Theory of Constraints
Sort
View
CP
1998
Springer
15 years 6 months ago
Random Constraint Satisfaction: Theory Meets Practice
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith,...
INFORMATIKTAGE
2008
15 years 3 months ago
Constraint Based Transformation Theory
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. I...
Stefan Natelberg
LICS
1998
IEEE
15 years 6 months ago
The First-Order Theory of Ordering Constraints over Feature Trees
Martin Müller, Joachim Niehren, Ralf Treinen