Evasiveness Through Binary Decision Diagrams.

Jesús Aransay Laureano Lambán Julio Rubio

Published in: CICM (2023)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
variable ordering
model checking
knowledge compilation
planning problems
reinforcement learning
data mining
lower bound
natural language processing
general purpose
multi dimensional