Approximation Strategies for Incomplete MaxSAT

Saurabh Joshi 0001, Prateek Kumar, Ruben Martins, Sukrut Rao. Approximation Strategies for Incomplete MaxSAT. In John N. Hooker, editor, Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Volume 11008 of Lecture Notes in Computer Science, pages 219-228, Springer, 2018. [doi]

Authors

Saurabh Joshi 0001

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

Prateek Kumar

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

Ruben Martins

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

Sukrut Rao

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