Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver
From MaRDI portal
Publication:286803
DOI10.1007/s10817-015-9332-6zbMath1356.68197WikidataQ59407645 ScholiaQ59407645MaRDI QIDQ286803
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-9332-6
Related Items
Uses Software