Automated Reasoning on Feature Models.

David Benavides Pablo Trinidad Martín-Arroyo Antonio Ruiz Cortés

Published in: CAiSE (2005)

Keyphrases

automated reasoning
probabilistic model
knowledge representation
probabilistic reasoning
decision procedures
high level
automated verification
machine learning
dynamic programming
object oriented
logic programs
theorem prover
theorem proving