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 BiereProceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21) (Thomas Eiter, David Sands, eds.), volume 46 of EPiC Series in Computing, pages 31-48, 2017, EasyChair.
Bibtex Entry:
@inproceedings{kiesl17_fobc,
  author = {Benjamin Kiesl and Martin Suda and Martina Seidl and Hans Tompits and Armin Biere},
  title = {Blocked Clauses in First-Order Logic},
  booktitle = {Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21)},
  editor = {Thomas Eiter and David Sands},
  series = {EPiC Series in Computing},
  volume = {46},
  pages = {31-48},
  year = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn = {2398-7340},
  url = {http://easychair.org/publications/download/Blocked_Clauses_in_First-Order_Logic}
}
Powered by bibtexbrowser