A
rmin
H
eller
Entries
2009
A Fast SAT Solver for Isabelle in Standard ML
by
Armin Heller
Dec 09