%0 Journal Article %1 journals/jar/SlaneyP18 %A Slaney, John K. %A Paleo, Bruno Woltzenlogel %D 2018 %J J. Autom. Reason. %K dblp %N 2 %P 133-156 %T Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. %U http://dblp.uni-trier.de/db/journals/jar/jar60.html#SlaneyP18 %V 60

@article{journals/jar/SlaneyP18, added-at = {2024-10-23T00:00:00.000+0200}, author = {Slaney, John K. and Paleo, Bruno Woltzenlogel}, biburl = {https://www.bibsonomy.org/bibtex/2f024ffa7a65dd82cb8a90bd5f5b86275/dblp}, ee = {https://doi.org/10.1007/s10817-017-9408-6}, interhash = {8c3026b66b0c108cdfd21f16893ce9f9}, intrahash = {f024ffa7a65dd82cb8a90bd5f5b86275}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {133-156}, timestamp = {2024-10-28T07:09:37.000+0100}, title = {Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar60.html#SlaneyP18}, volume = 60, year = 2018 }