Razor: Provenance and Exploration in Model-Finding

Salman Saghafi, Daniel J. Dougherty. Razor: Provenance and Exploration in Model-Finding. In Stephan Schulz 0001, Leonardo de Moura, Boris Konev, editors, 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. Volume 31 of EPiC Series in Computing, pages 76-93, EasyChair, 2014. [doi]

Abstract

Abstract is missing.