Lost your login?
Created on 2016-02-09.14:13:35 by gabi, last changed by gabi.
In his Bachelor thesis, Raphael implemented the P^m compilation. Experimental
results show a higher coverage with the compilation and h^max than with the
existing h^m implementation, so it might be worth to integrate his implementation.