A Generalization of Ogden's Lemma

  • Authors:
  • Christopher Bader;Arnaldo Moura

  • Affiliations:
  • 7421 Saville Court, Alexandria, VA;Department of Computer Science, University of California, Berkeley, CA

  • Venue:
  • Journal of the ACM (JACM)
  • Year:
  • 1982

Quantified Score

Hi-index 0.01

Visualization

Abstract