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}
}