@techreport{jegou:hal-01488803, TITLE = {{A New Formula Simplification by Reasoning on a Graphical Representation of SAT Instances}}, AUTHOR = {J{\'e}gou, Philippe and Paris, Lionel}, URL = {https://amu.hal.science/hal-01488803}, TYPE = {Research Report}, NUMBER = {LSIS.RR.2009.001}, INSTITUTION = {{LSIS}}, YEAR = {2009}, HAL_ID = {hal-01488803}, HAL_VERSION = {v1}, }