Long-Distance Q-Resolution with Dependency Schemes (bibtex)
by , ,
Reference:
Long-Distance Q-Resolution with Dependency SchemesTomáš Peitl, Friedrich Slivovsky, Stefan SzeiderJournal of Automated Reasoning, pages 1–29, 2018.
Bibtex Entry:
@string{jar="Journal of Automated Reasoning"}
@Article{PeitlSlivovskySzeider18a,
  author       = {Tom\'{a}\v{s} Peitl and Friedrich Slivovsky and Stefan Szeider},
  title        = {Long-Distance {Q}-Resolution with Dependency
                  Schemes},
  journal      = JAR,
  year         = {2018},
  pages         = {1--29},
doi          = {10.1007/s10817-018-9467-3},
  pdf          = {10.1007/s10817-018-9467-3">https://doi.org/10.1007/s10817-018-9467-3},
keywords = {QBF}
}
Powered by bibtexbrowser