Towards a Semantics of Unsatisfiability Proofs with Inprocessing (bibtex)
by Tobias Philipp, Adrian Rebola-Pardo
Reference:
Towards a Semantics of Unsatisfiability Proofs with InprocessingTobias Philipp, Adrian Rebola-PardoLPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Thomas Eiter, David Sands, eds.), volume 46 of EPiC Series in Computing, pages 65-84, 2017, EasyChair.
Bibtex Entry:
@inproceedings{LPAR-21:Towards_a_Semantics_of_Unsatisfiability_Proofs_with_Inprocessing,
  author    = {Tobias Philipp and Adrian Rebola-Pardo},
  title     = {Towards a Semantics of Unsatisfiability Proofs with Inprocessing},
  booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Thomas Eiter and David Sands},
  series    = {EPiC Series in Computing},
  volume    = {46},
  pages     = {65-84},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {http://easychair.org/publications/download/Towards_a_Semantics_of_Unsatisfiability_Proofs_with_Inprocessing}
}
Powered by bibtexbrowser