On deciding satisfiability by theorem proving with speculative inferences
From MaRDI portal
Publication:438533
DOI10.1007/s10817-010-9213-yzbMath1243.68265WikidataQ118190413 ScholiaQ118190413MaRDI QIDQ438533
Maria Paola Bonacina, Christopher Lynch, Leonardo de Moura
Publication date: 31 July 2012
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-010-9213-y
68Q60: Specification and verification (program logics, model checking, etc.)
03B35: Mechanization of proofs and logical operations
Uses Software