Parity OBDDs Cannot be Handled Efficiently Enough.

Martin Löbbing Detlef Sieling Ingo Wegener

Published in: Inf. Process. Lett. (1998)

Keyphrases

error correction
data sets
genetic algorithm
case study
high level
multiscale
model checking
constraint satisfaction
temporal logic
boolean functions