Resolution proofs of matching principles
From MaRDI portal
Publication:1861903
DOI10.1023/A:1021231610627zbMath1010.68165MaRDI QIDQ1861903
Publication date: 10 March 2003
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Related Items
Resolution lower bounds for perfect matching principles, Mutilated chessboard problem is exponentially hard for resolution