Complete on average Boolean satisfiability

  • Authors:
  • Jie Wang

  • Affiliations:
  • Department of Computer Science, University of Massachusetts, One University Avenue, Lowell, Massachusetts

  • Venue:
  • Journal of Complexity
  • Year:
  • 2002

Quantified Score

Hi-index 0.01

Visualization

Abstract

How many tests does one have to perform in order to compute an ε-approximation of a zero of a function f out of a given class of continuous functions on the unit interval, for a given ε