Sciweavers

949 search results - page 5 / 190
» Theory of Constraints
Sort
View
CP
1998
Springer
14 years 20 days 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
13 years 10 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
14 years 20 days ago
The First-Order Theory of Ordering Constraints over Feature Trees
Martin Müller, Joachim Niehren, Ralf Treinen