%0 Report %T A New Formula Simplification by Reasoning on a Graphical Representation of SAT Instances %+ Laboratoire des Sciences de l'Information et des Systèmes (LSIS) %A Jégou, Philippe %A Paris, Lionel %N LSIS.RR.2009.001 %I LSIS %8 2009 %D 2009 %Z Computer Science [cs] %Z Engineering Sciences [physics]/Automatic %Z Engineering Sciences [physics]/Signal and Image processingReports %X no abstract %G French %L hal-01488803 %U https://amu.hal.science/hal-01488803 %~ UNIV-TLN %~ CNRS %~ UNIV-AMU %~ ENSAM %~ LSIS %~ LSIS-INCA %~ TDS-MACS %~ LARA %~ LIS-LAB %~ IRENAV %~ LAMPA %~ LCPI %~ LABOMAP %~ LISPEN %~ MSMP