Login / Signup
A Method for Generating all the Prime Implicants of Binary CNF Formulas.
Yakoub Salhi
Published in:
ISAIM (2018)
Keyphrases
</>
objective function
databases
search space
dynamic programming
object oriented
functional dependencies