Login / Signup

Satisfiability checking using Boolean Expression Diagrams.

Poul Frederick WilliamsHenrik Reif AndersenHenrik Hulgaard
Published in: Int. J. Softw. Tools Technol. Transf. (2003)
Keyphrases
  • boolean expressions
  • normal form
  • real valued
  • conjunctive queries
  • databases
  • mining frequent
  • inverted lists
  • database
  • data mining
  • np hard
  • constraint satisfaction problems
  • tree structure