The Valiant-Vazirani Isolation Lemma [TCS, vol. 47, pp. 85–93, 1986] provides an efficient procedure for isolating a satisfying assignment of a given satisfiable circuit: given a Boolean circuit C on n input variables, the procedure outputs a new circuit C ′ on the same n input variables with the property that the set of satisfying assignments for C ′ is a… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.