Login / Signup

The Unison algorithm: fast evaluation of Boolean expressions.

Rok SosicJun GuRobert R. Johnson
Published in: ACM Trans. Design Autom. Electr. Syst. (1996)
Keyphrases
  • computational complexity
  • boolean expressions
  • optimal solution
  • search space
  • np hard
  • similarity measure
  • data model