شماره ركورد

27319

شماره مدرك

4392441

نويسنده/تنالگان

Justyna Petke

عنوان

Bridging Constraint Satisfaction and Boolean Satisfiability

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319218090;9783319218106