Login / Signup

Variable and Term Removal From Boolean Formulae.

Yves CramaOya EkinPeter L. Hammer
Published in: Discret. Appl. Math. (1997)
Keyphrases
  • boolean formulae
  • boolean variables
  • expressive power
  • np hard
  • query language
  • phase transition