BibTeX record conf/dac/LiuXPYZYH024

• > Home > conf/dac/LiuXPYZYH024

@inproceedings{DBLP:conf/dac/LiuXPYZYH024,
  author       = {Hongduo Liu and
                  Peng Xu and
                  Yuan Pu and
                  Lihao Yin and
                  Hui{-}Ling Zhen and
                  Mingxuan Yuan and
                  Tsung{-}Yi Ho and
                  Bei Yu},
  title        = {NeuroSelect: Learning to Select Clauses in {SAT} Solvers},
  booktitle    = {{DAC}},
  pages        = {131:1--131:6},
  publisher    = {{ACM}},
  year         = {2024}
}