Sampling invariants from frequency distributions

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík. Sampling invariants from frequency distributions. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 100-107, IEEE, 2017. [doi]

Abstract

Abstract is missing.