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