Yazar
Nadia Creignou
3 cilt bulundu.
Cilt sonuçları
Complexity classifications of Boolean constraint satisfaction problems
Nadia Creignou · Society for Industrial Mathematics
112 sayfa · 1987
Boolean Algebra / Computational complexity / Constraints (Artificial intelligence) / Boolean algebra / Artificial intelligence
Theory and Applications of Satisfiability Testing SAT 2016
Nadia Creignou, Daniel Le Berre · Springer International Publishing AG
564 sayfa · 2016
Algebra, boolean / Computer algorithms / Decision making
Complexity of Constraints
Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer · Springer London, Limited
Sayfa sayısı yok · 2008
Kategori yok