"PBExplore: A Framework for Compiler-in-the-Loop Exploration of Partial ..."

Aviral Shrivastava et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics