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]
@article{JoshiKRM19, title = {Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT}, author = {Saurabh Joshi 0001 and Prateek Kumar 0001 and Sukrut Rao and Ruben Martins}, year = {2019}, doi = {10.3233/SAT190118}, url = {https://doi.org/10.3233/SAT190118}, researchr = {https://researchr.org/publication/JoshiKRM19}, cites = {0}, citedby = {0}, journal = {JSAT}, volume = {11}, number = {1}, pages = {73-97}, }