%0 Journal Article %1 journals/corr/abs-2202-08396 %A Duan, Haonan %A Vaezipoor, Pashootan %A Paulus, Max B. %A Ruan, Yangjun %A Maddison, Chris J. %D 2022 %J CoRR %K dblp %T Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem. %U http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-08396 %V abs/2202.08396

@article{journals/corr/abs-2202-08396, added-at = {2022-03-01T00:00:00.000+0100}, author = {Duan, Haonan and Vaezipoor, Pashootan and Paulus, Max B. and Ruan, Yangjun and Maddison, Chris J.}, biburl = {https://www.bibsonomy.org/bibtex/2b6ddf6bd6e12b174653474a1602cf4f7/dblp}, ee = {https://arxiv.org/abs/2202.08396}, interhash = {a444a6dda7665f0a383982babb6d7795}, intrahash = {b6ddf6bd6e12b174653474a1602cf4f7}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:03:47.000+0200}, title = {Augment with Care: Contrastive Learning for the Boolean Satisfiability Problem.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-08396}, volume = {abs/2202.08396}, year = 2022 }