An experiment with satisfiability modulo SAT
From MaRDI portal
Publication:287334
DOI10.1007/s10817-015-9354-0zbMath1356.68208MaRDI QIDQ287334
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-015-9354-0
03B05: Classical propositional logic
Uses Software