%0 Conference Paper %1 conf/aaai/OmelchenkoB22 %A Omelchenko, Oleksii %A Bulatov, Andrei A. %B AAAI %D 2022 %I AAAI Press %K dblp %P 3804-3812 %T Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#OmelchenkoB22 %@ 978-1-57735-876-3

@inproceedings{conf/aaai/OmelchenkoB22, added-at = {2023-09-04T00:00:00.000+0200}, author = {Omelchenko, Oleksii and Bulatov, Andrei A.}, biburl = {https://www.bibsonomy.org/bibtex/2f2a99ce0483e483a3d158b96bcc4bc18/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2022}, ee = {https://doi.org/10.1609/aaai.v36i4.20295}, interhash = {4e435f8f92f55da62b122e6652a176cb}, intrahash = {f2a99ce0483e483a3d158b96bcc4bc18}, isbn = {978-1-57735-876-3}, keywords = {dblp}, pages = {3804-3812}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:12:25.000+0200}, title = {Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2022.html#OmelchenkoB22}, year = 2022 }