%0 Journal Article %1 journals/ai/FroleyksHIJS21 %A Froleyks, Nils %A Heule, Marijn %A Iser, Markus %A Järvisalo, Matti %A Suda, Martin %D 2021 %J Artif. Intell. %K dblp %P 103572 %T SAT Competition 2020. %U http://dblp.uni-trier.de/db/journals/ai/ai301.html#FroleyksHIJS21 %V 301

@article{journals/ai/FroleyksHIJS21, added-at = {2022-07-27T00:00:00.000+0200}, author = {Froleyks, Nils and Heule, Marijn and Iser, Markus and Järvisalo, Matti and Suda, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2129686e3ff7e2a6046bade12e22f3bd1/dblp}, ee = {https://doi.org/10.1016/j.artint.2021.103572}, interhash = {b05398846cb6aaa144b8397366981d3c}, intrahash = {129686e3ff7e2a6046bade12e22f3bd1}, journal = {Artif. Intell.}, keywords = {dblp}, pages = 103572, timestamp = {2024-04-08T17:20:35.000+0200}, title = {SAT Competition 2020.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai301.html#FroleyksHIJS21}, volume = 301, year = 2021 }