Yazar
Marijn Heule
2 cilt bulundu.
Cilt sonuçları
Theory and Applications of Satisfiability Testing -- SAT 2015
Marijn Heule, Sean Weaver · Springer London, Limited
Sayfa sayısı yok · 2015
Computer algorithms / Computer software, verification
Yükleniyor