Yazar
Carsten Sinz
1 cilt bulundu.
Cilt sonuçları
Theory and Applications of Satisfiability Testing - SAT 2014
Carsten Sinz, Uwe Egly · Springer London, Limited
474 sayfa · 2014
Computer science / Artificial intelligence / Computer algorithms / Artificial Intelligence (incl. Robotics) / Information theory