Tác giả: Nadia Creignou

Ủng hộ

2 Ebooks bởi Nadia Creignou

Nadia Creignou & Phokion G. Kolaitis: Complexity of Constraints
Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, …
PDF
Anh
DRM
€71.39
Daniel Le Berre & Nadia Creignou: Theory and Applications of Satisfiability Testing – SAT 2016
This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.The 31 regul …
PDF
Anh
DRM
€57.90