Login / Signup
Reordering Rule Makes OBDD Proof Systems Stronger.
Sam Buss
Dmitry Itsykson
Alexander Knop
Dmitry Sokolov
Published in:
Electron. Colloquium Comput. Complex. (2018)
Keyphrases
</>
distributed systems
expert systems
computer systems
machine learning
association rules
building blocks
learning systems
databases
information systems
database systems
search space
knowledge based systems
model checking