Login / Signup
Computation of the Total Autocorrelation over Shared Binary Decision Diagrams.
Milos Radmanovic
Radomir S. Stankovic
Claudio Moraga
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2014)
Keyphrases
</>
binary decision diagrams
higher order
symbolic model checking
databases
boolean functions
reinforcement learning
planning problems
information retrieval
natural language
query processing
general purpose
database design
knowledge compilation
variable ordering