@misc{indiciae47f9bc56d68a,
  title = {Towards Faster Reasoners By Using Transparent Huge Pages},
  author = {Johannes K. Fichte and Norbert Manthey and Julian Stecklina and André Schidler},
  year = {2020},
  url = {https://arxiv.org/abs/2004.14378},
  note = {Source identifier: 2004.14378}
}