%0 Conference Paper %1 conf/aaai/LiangZY24 %A Liang, Jiaxin %A Zhou, Junping %A Yin, Minghao %B AAAI %D 2024 %E Wooldridge, Michael J. %E Dy, Jennifer G. %E Natarajan, Sriraam %I AAAI Press %K dblp %P 23561-23562 %T Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract). %U http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#LiangZY24

@inproceedings{conf/aaai/LiangZY24, added-at = {2024-04-02T00:00:00.000+0200}, author = {Liang, Jiaxin and Zhou, Junping and Yin, Minghao}, biburl = {https://www.bibsonomy.org/bibtex/288ea416fe72596c7504f33bbdc24115c/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2024}, editor = {Wooldridge, Michael J. and Dy, Jennifer G. and Natarajan, Sriraam}, ee = {https://doi.org/10.1609/aaai.v38i21.30473}, interhash = {047fc4a752ab66b2090a74338c97be5a}, intrahash = {88ea416fe72596c7504f33bbdc24115c}, keywords = {dblp}, pages = {23561-23562}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:47.000+0200}, title = {Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract).}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#LiangZY24}, year = 2024 }