Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta. Solving Constrained Horn Clauses Using Syntax and Data. In Nikolaj Bjørner, Arie Gurfinkel, editors, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. pages 1-9, IEEE, 2018. [doi]
@inproceedings{FedyukovichPMG18,
title = {Solving Constrained Horn Clauses Using Syntax and Data},
author = {Grigory Fedyukovich and Sumanth Prabhu and Kumar Madhukar and Aarti Gupta},
year = {2018},
doi = {10.23919/FMCAD.2018.8603011},
url = {https://doi.org/10.23919/FMCAD.2018.8603011},
researchr = {https://researchr.org/publication/FedyukovichPMG18},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018},
editor = {Nikolaj Bjørner and Arie Gurfinkel},
publisher = {IEEE},
isbn = {978-0-9835678-8-2},
}