A New Formula Simplification by Reasoning on a Graphical Representation of SAT Instances
Abstract
no abstract
Reports
(Research Report)
Year : 2009
William Domingues Vinhas : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-01488803
Submitted on : Monday, March 13, 2017-11:55:35 PM
Last modification on : Tuesday, April 4, 2023-4:56:46 AM
Dates and versions
Identifiers
- HAL Id : hal-01488803 , version 1
Cite
Philippe Jégou, Lionel Paris. A New Formula Simplification by Reasoning on a Graphical Representation of SAT Instances. [Rapport de recherche] LSIS.RR.2009.001, LSIS. 2009. ⟨hal-01488803⟩
Collections
51
View
0
Download