Login / Signup
A Scalable Weighted Max-SAT Implementation of Propositional Etcetera Abduction.
Naoya Inoue
Andrew S. Gordon
Published in:
FLAIRS Conference (2017)
Keyphrases
</>
weighted max sat
propositional knowledge base
sat solvers
propositional logic
learning algorithm
cost function