Login / Signup
On Computing Backbones of Propositional Theories.
João Marques-Silva
Mikolás Janota
Inês Lynce
Published in:
ECAI (2010)
Keyphrases
</>
propositional theories
genetic algorithm
logic programs
artificial intelligence
objective function
data model
computational properties