• DocumentCode
    10055
  • Title

    Optimization Algorithms for the Minimum-Cost Satisability Problem.

  • Author

    S. Purushothaman Iyer استاد مشاور , Dennis R. Bahler استاد مشاور , Franc Brglez استاد مشاور , Matthias F. Stallmann استاد راهنما

  • University
    Raleigh North carolina state university
  • Grade
    نامعلوم
  • Major
    PhD )Computer Science(
  • Number of pages
    0
  • Publish Date
    2004
  • Keyword

    Sat , Binate covering , optimization , Min-SAT , Unate covering

  • Note
    01
  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=17&DC=10055