@misc{indiciae608f5b65019f,
  title = {On the evaluation of (meta-)solver approaches},
  author = {Roberto Amadini and Maurizio Gabbrielli and Tong Liu and Jacopo Mauro},
  year = {2022},
  doi = {10.1613/jair.1.14102},
  url = {https://arxiv.org/abs/2202.08613},
  note = {Source identifier: 2202.08613}
}