MDDs Boost Equation Solving on Discrete Dynamical Systems.

Enrico Formenti Jean-Charles Régin Sara Riva

Published in: CPAIOR (2021)

Keyphrases

knowledge compilation
discrete dynamical systems
cellular automata
nonlinear equations
petri net
decision diagrams
dynamical systems
information retrieval
databases
database systems
multi dimensional
knowledge acquisition