Blocking and other enhancements for bottom-up model generation methods
From MaRDI portal
Publication:2303239
DOI10.1007/s10817-019-09515-1zbMath1468.68279MaRDI QIDQ2303239
Peter Baumgartner, Renate A. Schmidt
Publication date: 3 March 2020
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-019-09515-1
03B70: Logic in computer science
03B35: Mechanization of proofs and logical operations
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Uses Software