Approximation Strategies for Incomplete MaxSAT. - Saurabh Joshi 001; Prateek Kumar 001; Ruben Martins; Sukrut Rao (CP, 2018)

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. - Saurabh Joshi 001; Prateek Kumar 001; Sukrut Rao; Ruben Martins (J. Satisf. Boolean Model. Comput., 2019)