by Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
Reference:
Combining Resolution-Path Dependencies with Dependency LearningTomáš Peitl, Friedrich Slivovsky, Stefan SzeiderProceedings of SAT 2019, the 22nd International Conference on Theory and Applications of Satisfiability Testing, July 7–12, 2019, Lisbon, Portugal (Mikoláš Janota, Inês Lynce, eds.), volume 11628 of Lecture Notes in Computer Science, pages 306–318, 2019, Springer Verlag.
Bibtex Entry:
@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@inproceedings{PeitlSlivovskySzeider19a,
author = {Tom\'{a}\v{s} Peitl and Friedrich Slivovsky and Stefan Szeider},
title = {Combining Resolution-Path Dependencies with Dependency Learning},
booktitle = {Proceedings of SAT 2019,
the 22nd International
Conference on Theory and Applications of
Satisfiability Testing, July
7--12, 2019, Lisbon, Portugal},
year = {2019},
editor = {Mikol\'{a}\v{s} Janota and In\^{e}s Lynce},
series = LNCS,
publisher = Springer,
doi = {10.1007/978-3-030-24258-9\_22},
pages = {306--318},
volume = {11628},
pdf = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-19-005.pdf},
keywords = {QBF}
}