Elliptic approximations of propositional formulae (1999)

by H van Maaren
Venue:Discrete Appl. Math