شماره ركورد
29859
شماره مدرك
4363347
نويسنده/تنالگان
Justyna Petke
عنوان
Bridging Constraint Satisfaction and Boolean Satisfiability (Artificial Intelligence - Foundations, Theory, and Algorithms)
اطلاعات نشر
Springer
سال نشر
2015
شابك
9783319218090
Link To Document