Semantic Scholar Open Access 2001 3816 sitasi

Chaff: engineering an efficient SAT solver

Matthew W. Moskewicz Conor F. Madigan Ying Zhao Lintao Zhang S. Malik

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (5)

Matthew W. Moskewicz

Conor F. Madigan

Ying Zhao

Lintao Zhang

S. Malik

Format Sitasi

APA MLA BibTeX

Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S. (2001). Chaff: engineering an efficient SAT solver. https://doi.org/10.1145/378239.379017

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1145/378239.379017

Informasi Jurnal

Tahun Terbit: 2001
Bahasa: en
Total Sitasi: 3816×
Sumber Database: Semantic Scholar
DOI: 10.1145/378239.379017
Akses: Open Access ✓