BibTeX record journals/corr/abs-2106-03906

download as .bib file

@article{DBLP:journals/corr/abs-2106-03906,
  author       = {Ibrahim Abdelaziz and
                  Maxwell Crouse and
                  Bassem Makni and
                  Vernon Austil and
                  Cristina Cornelio and
                  Shajith Ikbal and
                  Pavan Kapanipathi and
                  Ndivhuwo Makondo and
                  Kavitha Srinivas and
                  Michael Witbrock and
                  Achille Fokoue},
  title        = {Learning to Guide a Saturation-Based Theorem Prover},
  journal      = {CoRR},
  volume       = {abs/2106.03906},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.03906},
  eprinttype    = {arXiv},
  eprint       = {2106.03906},
  timestamp    = {Thu, 10 Jun 2021 16:34:18 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-03906.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.