Limited resource strategy in resolution theorem proving
From MaRDI portal
Publication:1404979
DOI10.1016/S0747-7171(03)00040-3zbMath1023.68089MaRDI QIDQ1404979
Andrei Voronkov, Alexandre Riazanov
Publication date: 25 August 2003
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Uses Software
Cites Work