• شماره ركورد
    27319
  • شماره مدرك
    4392441
  • نويسنده/تنالگان
    Justyna Petke
  • عنوان

    Bridging Constraint Satisfaction and Boolean Satisfiability

  • اطلاعات نشر
    Springer
  • سال نشر
    2015
  • شابك
    9783319218090;9783319218106