Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Abstract Cores in Implicit Hitting Set MaxSat Solving

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • المؤلفون: Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
  • المصدر:
    Theory and Applications of Satisfiability Testing – SAT 2020 ; Lecture Notes in Computer Science ; page 277-294 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030518240 9783030518257
  • نوع التسجيلة:
    book part
  • اللغة:
    unknown
  • معلومة اضافية
    • بيانات النشر:
      Springer International Publishing
    • الموضوع:
      2020
    • ISBN:
      978-3-030-51824-0
      978-3-030-51825-7
      3-030-51824-8
      3-030-51825-6
    • الرقم المعرف:
      10.1007/978-3-030-51825-7_20
    • Rights:
      http://www.springer.com/tdm ; http://www.springer.com/tdm
    • الرقم المعرف:
      edsbas.A228E674