Layered Clause Selection for Saturation-Based Theorem Proving (bibtex)
by Bernhard Gleiss, Martin Suda
Reference:
Layered Clause Selection for Saturation-Based Theorem ProvingBernhard Gleiss, Martin SudaJoint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual) (Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret, eds.), volume 2752 of CEUR Workshop Proceedings, pages 34–52, 2020, CEUR-WS.org.
Bibtex Entry:
@inproceedings{DBLP:conf/cade/Gleiss020a,
  author    = {Bernhard Gleiss and
               Martin Suda},
  editor    = {Pascal Fontaine and
               Konstantin Korovin and
               Ilias S. Kotsireas and
               Philipp R{\"{u}}mmer and
               Sophie Tourret},
  title     = {Layered Clause Selection for Saturation-Based Theorem Proving},
  booktitle = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
               Reasoning {(PAAR)} and the 5th Satisfiability Checking and Symbolic
               Computation Workshop (SC-Square) Workshop, 2020 co-located with the
               10th International Joint Conference on Automated Reasoning {(IJCAR}
               2020), Paris, France, June-July, 2020 (Virtual)},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2752},
  pages     = {34--52},
  publisher = {CEUR-WS.org},
  year      = {2020},
  url       = {http://ceur-ws.org/Vol-2752/paper3.pdf},
  timestamp = {Tue, 09 Feb 2021 17:28:14 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/Gleiss020a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser