%0 Conference Paper %1 conf/aaai/OmelchenkoB21 %A Omelchenko, Oleksii %A Bulatov, Andrei %B AAAI %D 2021 %I AAAI Press %K dblp %P 3886-3894 %T Satisfiability and Algorithms for Non-uniform Random k-SAT. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#OmelchenkoB21 %@ 978-1-57735-866-4

@inproceedings{conf/aaai/OmelchenkoB21, added-at = {2023-09-04T00:00:00.000+0200}, author = {Omelchenko, Oleksii and Bulatov, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2c07b23f8a7dd91d956ec710b05c6b7de/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2021}, ee = {https://doi.org/10.1609/aaai.v35i5.16507}, interhash = {32e36bfc1e1b4de5a419ab64bf152b6c}, intrahash = {c07b23f8a7dd91d956ec710b05c6b7de}, isbn = {978-1-57735-866-4}, keywords = {dblp}, pages = {3886-3894}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:11:30.000+0200}, title = {Satisfiability and Algorithms for Non-uniform Random k-SAT.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2021.html#OmelchenkoB21}, year = 2021 }