Generalising unit-refutation completeness and SLUR via nested input resolution

From MaRDI portal
Publication:2352484

DOI10.1007/s10817-013-9275-8zbMath1319.03036arXiv1204.6529OpenAlexW3104714466MaRDI QIDQ2352484

Oliver Kullmann, Matthew Gwynne

Publication date: 2 July 2015

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1204.6529




Related Items (5)


Uses Software


Cites Work


This page was built for publication: Generalising unit-refutation completeness and SLUR via nested input resolution