Detecting Boolean Functions For Proving Unsatisfiability - Aix-Marseille Université Access content directly
Reports (Research Report) Year : 2009

Detecting Boolean Functions For Proving Unsatisfiability

Abstract

no abstract
No file

Dates and versions

hal-01488805 , version 1 (13-03-2017)

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⟩
32 View
0 Download

Share

Gmail Facebook X LinkedIn More