Satisfiability Checking Using Boolean Expression Diagrams.

Poul Frederick Williams Henrik Reif Andersen Henrik Hulgaard

Published in: TACAS (2001)

Keyphrases

boolean expressions
normal form
real valued
conjunctive queries
mining frequent
internal nodes
multiresolution
integrity constraints