Boolean Expression Checkers.

Published in: Arch. Formal Proofs (2014)

Keyphrases

boolean expressions
normal form
real valued
conjunctive queries
mining frequent
database
decision trees
special case
pattern mining
query answering