Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

Saurabh Joshi 0001, Prateek Kumar 0001, Sukrut Rao, Ruben Martins. Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. JSAT, 11(1):73-97, 2019. [doi]

Authors

Saurabh Joshi 0001

This author has not been identified. Look up 'Saurabh Joshi 0001' in Google

Prateek Kumar 0001

This author has not been identified. Look up 'Prateek Kumar 0001' in Google

Sukrut Rao

This author has not been identified. Look up 'Sukrut Rao' in Google

Ruben Martins

This author has not been identified. Look up 'Ruben Martins' in Google