Principles for a Judgement Editor Based on Binary Decision Diagrams.

Guillaume Aucher Jean Berbinau Marie-Laure Morin

Published in: FLAP (2019)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
planning problems
model checking
variable ordering
knowledge compilation
databases
database
machine learning