%0 Conference Paper %1 conf/aaai/LeiC20 %A Lei, Zhendong %A Cai, Shaowei %B AAAI %D 2020 %I AAAI Press %K dblp %P 1569-1576 %T Solving Set Cover and Dominating Set via Maximum Satisfiability. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#LeiC20 %@ 978-1-57735-823-7

@inproceedings{conf/aaai/LeiC20, added-at = {2023-09-08T00:00:00.000+0200}, author = {Lei, Zhendong and Cai, Shaowei}, biburl = {https://www.bibsonomy.org/bibtex/2a3ad26c927942feeb7aa4e38e0938578/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2020}, ee = {https://doi.org/10.1609/aaai.v34i02.5517}, interhash = {6a1dde7512f8b5a96fe16e0818bdcfd2}, intrahash = {a3ad26c927942feeb7aa4e38e0938578}, isbn = {978-1-57735-823-7}, keywords = {dblp}, pages = {1569-1576}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:05:48.000+0200}, title = {Solving Set Cover and Dominating Set via Maximum Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#LeiC20}, year = 2020 }