ddSMT: A Delta Debugger for the SMT-LIB v2 Format (bibtex)
by Aina Niemetz, Armin Biere
Reference:
ddSMT: A Delta Debugger for the SMT-LIB v2 FormatAina Niemetz, Armin BiereSMT Workshop 2013 11th International Workshop on Satisfiability Modulo Theories, 2013.
Bibtex Entry:
@inproceedings{niemetz2013ddsmt,
title = {ddSMT: A Delta Debugger for the SMT-LIB v2 Format},
url = {/pubpdf/ddSMT__A_Delta_Debugger_for_the_SMT-LIB_v2_Format.pdf},
booktitle = {SMT Workshop 2013 11th International Workshop on Satisfiability Modulo
Theories},
author = {Niemetz, Aina and Biere, Armin},
year = {2013},
}
Powered by bibtexbrowser