Semantic Scholar Open Access 2009 466 sitasi

Handbook of satisfiability

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

Lihat Sumber

Topik & Kata Kunci

Computer Science

Penulis (4)

Armin Biere

Marijn J. H. Heule

H. Maaren

T. Walsh

Format Sitasi

APA MLA BibTeX

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 ✓