Advertisement

Auxiliary Proofs

Chapter
  • 195 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1744)

Abstract

A locally optimal representation Opt(Rk) for disjunctions Rk = Pk,1 V . . . V Pk,Lk can be found in \( \mathcal{O}\left( {2^{|E_k |} L_k ^{3|E_k | + 2} } \right) \) primitive algebraic operations.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Personalised recommendations