@misc{indiciae8e24d02344b7,
  title = {Decomposing Hard SAT Instances with Metaheuristic Optimization},
  author = {Daniil Chivilikhin and Artem Pavlenko and Alexander Semenov},
  year = {2023},
  url = {https://arxiv.org/abs/2312.10436},
  note = {Source identifier: 2312.10436}
}