@inproceedings{DBLP:conf/kr/InterianB23,
  title = "Learning Interpretable Heuristics for WalkSAT",
  author = "Yannet Interian and Sara Bernardini",
  year = "2023",
  booktitle = "Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece, September 2-8, 2023",
  editor = "Pierre Marquis and Tran Cao Son and Gabriele Kern{-}Isberner",
  pages = "365--373",
  url = "https://doi.org/10.24963/kr.2023/36",
  doi = "10.24963/KR.2023/36",
}