Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA - Merz - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-07-30 09:23:43		Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un Add to Reading List Source URL: www.montefiore.ulg.ac.be Download Document from Source Website File Size: 440,41 KB Share Document on Facebook