2162 search results - page 12 / 433 » Automated Reasoning on Feature Models |
CADE
2006
Springer
16 years 6 hour ago
2006
Springer
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
119
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
SPLC
2007
15 years 26 days ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
CADE
2004
Springer
16 years 6 hour ago
2004
Springer