A Study of Proof Search Algorithms for Resolution and Polynomial Calculus (1999)

Cached

Download Links

by Maria Luisa Bonet , Nicola Galesi
Citations:46 - 5 self