From XSAT To SAT By Exhibiting Boolean Functions - Archive ouverte HAL Access content directly
Journal Articles International Journal on Artificial Intelligence Tools (IJAIT) Year : 2010

From XSAT To SAT By Exhibiting Boolean Functions

Abstract

no abstract
Not file

Dates and versions

hal-01479558 , version 1 (28-02-2017)

Identifiers

  • HAL Id : hal-01479558 , version 1

Cite

Richard Ostrowski, Lionel Paris. From XSAT To SAT By Exhibiting Boolean Functions. International Journal on Artificial Intelligence Tools (IJAIT), 2010, 18 (5), pp.783-799. ⟨hal-01479558⟩
28 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More