Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions (bibtex)

by Andrea Aquino, Giovanni Denaro, Mauro Pezzè

Reference:

Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions Andrea Aquino, Giovanni Denaro, Mauro PezzèIn ICSE '17: Proceedings of the International Conference on Software Engineering, IEEE Computer Society, 2017

Bibtex Entry:

@string{star="STAR"} @string{icse="Proceedings of the International Conference on Software Engineering"} @string{ieee="IEEE Computer Society"} @inproceedings{Aquino:SatDelta:ICSE:2017, groups = STAR, author = {Aquino, Andrea and Denaro, Giovanni and Pezz{\`e}, Mauro}, title = {Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions}, booktitle = ICSE, year = {2017}, series = {ICSE '17}, pages = {427--437}, publisher = IEEE, keywords = {sat-delta, solution reuse, SMT solving}, summary = {Paper describing the Utopia technique to store and reuse solution of formulas generated during program analysis to determine the satisfiability of new formulas more efficiently} }

Powered by bibtexbrowser