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
Major :
PhD )Computer Science(
Keyword :
Sat , Binate covering , optimization , Min-SAT , Unate covering
