Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for
View Other Search Results
Yazar
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
Format:
Electronic Resources
Alıntı:
restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: