Comprehensive and Instantly Responsive Player Assistance using Binary Decision Diagrams.

Ross Mawhorter Adam M. Smith

Published in: FDG (2024)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
variable ordering
planning problems
model checking
databases
data sets
real world
machine learning
objective function
search space
state space
nearest neighbor
domain specific
multi dimensional