Sciweavers

TPHOL
2005
IEEE
15 years 3 months ago
Shallow Lazy Proofs
We show that delaying fully-expansive proof reconstruction for non-interactive decision procedures can result in a more efficient workflow. In contrast with earlier work, our appr...
Hasan Amjad