Login / Signup
IPS-like Proof Systems Based on Binary Decision Diagrams.
Alexander Knop
Published in:
Electron. Colloquium Comput. Complex. (2017)
Keyphrases
</>
binary decision diagrams
boolean functions
machine learning
information retrieval
knowledge based systems
branch and bound algorithm