Reordering Rule Makes OBDD Proof Systems Stronger.

Sam Buss Dmitry Itsykson Alexander Knop Dmitry Sokolov

Published in: Computational Complexity Conference (2018)

Keyphrases

evolutionary algorithm
distributed systems
database
decision trees
management system
theorem proving
real time
databases
artificial intelligence
association rules
search space
information retrieval systems
formal methods