%0 Journal Article %1 journals/jsat/JoshiKRM19 %A Joshi, Saurabh %A Kumar, Prateek %A Rao, Sukrut %A Martins, Ruben %D 2019 %J J. Satisf. Boolean Model. Comput. %K dblp %N 1 %P 73-97 %T Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. %U http://dblp.uni-trier.de/db/journals/jsat/jsat11.html#JoshiKRM19 %V 11

@article{journals/jsat/JoshiKRM19, added-at = {2020-10-26T00:00:00.000+0100}, author = {Joshi, Saurabh and Kumar, Prateek and Rao, Sukrut and Martins, Ruben}, biburl = {https://www.bibsonomy.org/bibtex/2c5dab840064f24fc5d7fc867ca3d6206/dblp}, ee = {https://doi.org/10.3233/SAT190118}, interhash = {6c083a987777de5876ceed09acc148ef}, intrahash = {c5dab840064f24fc5d7fc867ca3d6206}, journal = {J. Satisf. Boolean Model. Comput.}, keywords = {dblp}, number = 1, pages = {73-97}, timestamp = {2020-10-27T12:19:34.000+0100}, title = {Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat11.html#JoshiKRM19}, volume = 11, year = 2019 }