Login / Signup
Mod-2-OBDDs - A Data Structure that Generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams.
Jordan Gergov
Christoph Meinel
Published in:
Formal Methods Syst. Des. (1996)
Keyphrases
</>
ordered binary decision diagrams
data structure
model checking
constraint satisfaction problems
deterministic finite automaton
index structure
objective function
multi agent
constraint satisfaction
constraint problems
quantified boolean formulae
special case
tree structure
decision procedures