Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams.

Kazuma Fuchimoto Shin-ichi Minato Maomi Ueno

Published in: IEEE Access (2023)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
variable ordering
planning problems
model checking
search space
general purpose
knowledge compilation
databases
real world
lower bound
state space
domain independent