Yazar
Hong, Hoon. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Gopal, T. V. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
View Other Search Results
Yazar
Heule, Marijn. editor.
Format:
Electronic Resources
Alıntı:
advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms
Yazar
Creignou, Nadia. editor.
Format:
Electronic Resources
Alıntı:
submissions. The papers address different aspects of SAT, including complexity, satisfiability solving
Yazar
Sinz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
organized in the following topical sections: maximum satisfiability; minimal unsatisfiability; complexity
Arama Sonuçlarını Sınırlandır
Daraltılmış: