BibTeX record conf/kdd/LiCGLLHZYY23

• > Home > conf/kdd/LiCGLLHZYY23

@inproceedings{DBLP:conf/kdd/LiCGLLHZYY23,
  author       = {Yang Li and
                  Xinyan Chen and
                  Wenxuan Guo and
                  Xijun Li and
                  Wanqian Luo and
                  Junhua Huang and
                  Hui{-}Ling Zhen and
                  Mingxuan Yuan and
                  Junchi Yan},
  editor       = {Ambuj K. Singh and
                  Yizhou Sun and
                  Leman Akoglu and
                  Dimitrios Gunopulos and
                  Xifeng Yan and
                  Ravi Kumar and
                  Fatma Ozcan and
                  Jieping Ye},
  title        = {HardSATGEN: Understanding the Difficulty of Hard {SAT} Formula Generation
                  and {A} Strong Structure-Hardness-Aware Baseline},
  booktitle    = {Proceedings of the 29th {ACM} {SIGKDD} Conference on Knowledge Discovery
                  and Data Mining, {KDD} 2023, Long Beach, CA, USA, August 6-10, 2023},
  pages        = {4414--4425},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3580305.3599837},
  doi          = {10.1145/3580305.3599837},
  timestamp    = {Sat, 30 Sep 2023 09:51:44 +0200},
  biburl       = {https://dblp.org/rec/conf/kdd/LiCGLLHZYY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}