Semantic Scholar Open Access 2009 466 sitasi

Handbook of satisfiability

Armin Biere Marijn J. H. Heule H. Maaren T. Walsh

Topik & Kata Kunci

Penulis (4)

A

Armin Biere

M

Marijn J. H. Heule

H

H. Maaren

T

T. Walsh

Format Sitasi

Biere, A., Heule, M.J.H., Maaren, H., Walsh, T. (2009). Handbook of satisfiability. https://www.semanticscholar.org/paper/a70dfba7d322ca38fc91cc103eea0bc0a5332f5a

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2009
Bahasa
en
Total Sitasi
466×
Sumber Database
Semantic Scholar
Akses
Open Access ✓