Poprzednia strona
Rekrutacja 2022/23
Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver
A. Naumowicz
J. Automat. Reason. 55 (2015) 285-294
DOI: 10.1007/s10817-015-9332-6
