Sciweavers

949 search results - page 5 / 190
» Theory of Constraints
Sort
View
CP
1998
Springer
15 years 1 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
14 years 11 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
68
Voted
LICS
1998
IEEE
15 years 1 months ago
The First-Order Theory of Ordering Constraints over Feature Trees
Martin Müller, Joachim Niehren, Ralf Treinen
71
Voted
CSCLP
2006
Springer
15 years 1 months ago
Solving First-Order Constraints in the Theory of the Evaluated Trees
Thi-Bich-Hanh Dao, Khalil Djelloul