2162 search results - page 28 / 433 » Automated Reasoning on Feature Models |
105
click to vote
DLOG
2008
15 years 4 months ago
2008
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an em...
AI
2005
Springer
15 years 1 months ago
2005
Springer
The paper provides a unifying perspective of tree-decomposition algorithms appearing in various automated reasoning areas such as join-tree clustering for constraint-satisfaction ...
124
click to vote
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...