Login / Signup
Variable and Term Removal From Boolean Formulae.
Yves Crama
Oya Ekin
Peter L. Hammer
Published in:
Discret. Appl. Math. (1997)
Keyphrases
</>
boolean formulae
boolean variables
expressive power
np hard
query language
phase transition