Theory and applications of satisfiability teasting - SAT 2013Allen Van Gelder · First published 2013Open the Tome
Direct volume rendering with shading via three-dimensional texturesAllen Van Gelder · First published 1996Open the Tome