Massimo Giovanardi

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. J. Autom. Reason. 28 (2) (2002)