arXiv Open Access 2013

About Inverse 3-SAT

Xavier Labouze

Lihat Sumber

Abstrak

The Inverse 3-SAT problem is known to be coNP Complete. This article shows a new interesting way to solve directly the problem by using closure under resolution and partial assignment properties. An algorithm is proposed which lets solve the (co)Inverse 3-SAT problem.

Topik & Kata Kunci

cs.DS cs.LO

Penulis (1)

Xavier Labouze

Format Sitasi

APA MLA BibTeX

Labouze, X. (2013). About Inverse 3-SAT. https://arxiv.org/abs/1303.4324

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2013
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓