Publication details

Saarland University Computer Science

Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems

Chad E. Brown

CADE – the 23rd International Conference on Automated Deduction, pp. 147 -- 161, Springer, July 2011

Download PDF        Show BibTeX               


Login to edit


Legal notice, Privacy policy