Detecting Boolean Functions For Proving Unsatisfiability
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-01488805
Submitted on : Monday, March 13, 2017-11:55:37 PM
Last modification on : Wednesday, February 8, 2023-5:11:01 PM
Dates and versions
Identifiers
- HAL Id : hal-01488805 , version 1
Cite
Richard Ostrowski, Lionel Paris. Detecting Boolean Functions For Proving Unsatisfiability. [Rapport de recherche] LSIS.RR.2009.003, LSIS. 2009. ⟨hal-01488805⟩
Collections
30
View
0
Download