Skip to main content
PRL Project

Speeding Up the MetaPRL Refiner

by Aleksey Nogin

In my talk I am going to present some techniques and ideas we used to make MetaPRL refiner more than two orders of magnitude faster than NuPRL refiner: term module with delayed substitutions and lazy free variables calculation, "special form" storage of some terms, higher C conversional optimization and other.

This is joint work with Jason Hickey.