Long-Distance Q-Resolution with Dependency Schemes

Peitl, Tomáš; Slivovsky, Friedrich; Szeider, Stefan

doi:10.1007/s10817-018-9467-3

by Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider

Reference:

Long-Distance Q-Resolution with Dependency SchemesTomáš Peitl, Friedrich Slivovsky, Stefan SzeiderJournal of Automated Reasoning, volume 63, number 1, pages 127–155, 2019.

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,
  volume    = {63},
  number    = {1},
  pages     = {127--155},
  year      = {2019},
  url       = {10.1007/s10817-018-9467-3">https://doi.org/10.1007/s10817-018-9467-3">10.1007/s10817-018-9467-3">https://doi.org/10.1007/s10817-018-9467-3},
  doi       = {10.1007/s10817-018-9467-3},
  pdf       = {10.1007/s10817-018-9467-3">https://doi.org/10.1007/s10817-018-9467-3">10.1007/s10817-018-9467-3">https://doi.org/10.1007/s10817-018-9467-3},
  keywords  = {QBF},
}