Compiling Hilbert's epsilon operator.

K. Rustan M. Leino

Published in: LPAR (short papers) (2015)

Keyphrases

decision making
decision trees
database systems
relational databases
upper bound
decomposable negation normal form