Blocked Clauses in First-Order Logic (bibtex)
by Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
Reference:
Blocked Clauses in First-Order LogicBenjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin BiereLPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017 (Thomas Eiter, David Sands, eds.), volume 46 of EPiC Series in Computing, pages 31-48, 2017, EasyChair.
Bibtex Entry:
@inproceedings{DBLP:conf/lpar/Kiesl0STB17,
  author    = {Benjamin Kiesl and
               Martin Suda and
               Martina Seidl and
               Hans Tompits and
               Armin Biere},
  title     = {Blocked Clauses in First-Order Logic},
  booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
               Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  pages     = {31--48},
  year      = {2017},
  editor    = {Thomas Eiter and
               David Sands},
  series    = {EPiC Series in Computing},
  volume    = {46},
  publisher = {EasyChair},
  url       = {http://www.easychair.org/publications/paper/340349},
  timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/Kiesl0STB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser