%0 Conference Paper %1 conf/ijcai/BliznetsSS22 %A Bliznets, Ivan %A Sagunov, Danil %A Simonov, Kirill %B IJCAI %D 2022 %E Raedt, Luc De %I ijcai.org %K dblp %P 1774-1780 %T Fine-grained Complexity of Partial Minimum Satisfiability. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2022.html#BliznetsSS22

@inproceedings{conf/ijcai/BliznetsSS22, added-at = {2022-07-27T00:00:00.000+0200}, author = {Bliznets, Ivan and Sagunov, Danil and Simonov, Kirill}, biburl = {https://www.bibsonomy.org/bibtex/21bccaa314ff652feca56d87fe25d1e89/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2022}, editor = {Raedt, Luc De}, ee = {https://doi.org/10.24963/ijcai.2022/247}, interhash = {06c4ab1f2b3ae19158e93208122f4227}, intrahash = {1bccaa314ff652feca56d87fe25d1e89}, keywords = {dblp}, pages = {1774-1780}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:37.000+0200}, title = {Fine-grained Complexity of Partial Minimum Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2022.html#BliznetsSS22}, year = 2022 }