Login / Signup
On Enumerating All the Minimal Models for Particular CNF Formula Classes.
Yakoub Salhi
Published in:
ICAART (2) (2019)
Keyphrases
</>
minimal models
cnf formula
logic programs
np complete
propositional logic
max sat
nonmonotonic reasoning
stable models
autoepistemic logic