A binary decision diagram lifted domain for analyzing program families.

Aleksandar S. Dimovski

Published in: J. Comput. Lang. (2021)

Keyphrases

binary decision diagrams
probabilistic inference
domain specific
knowledge compilation
reinforcement learning
domain independent