Login / Signup

Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver.

Adam Naumowicz
Published in: J. Autom. Reason. (2015)
Keyphrases