On finding minimal-models using DPLL-based SAT solver

Norihide Shikada, Kiyonori Taniguchi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'On finding minimal-models using DPLL-based SAT solver'. Together they form a unique fingerprint.