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]
@inproceedings{SaghafiD14,
title = {Razor: Provenance and Exploration in Model-Finding},
author = {Salman Saghafi and Daniel J. Dougherty},
year = {2014},
url = {http://www.easychair.org/publications/paper/Razor_Provenance_and_Exploration_in_Model-Finding},
researchr = {https://researchr.org/publication/SaghafiD14},
cites = {0},
citedby = {0},
pages = {76-93},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014},
editor = {Stephan Schulz 0001 and Leonardo de Moura and Boris Konev},
volume = {31},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}