@inproceedings{Hojjat_2018,
doi = {10.23919/fmcad.2018.8603013},
url = {https://doi.org/10.23919%2Ffmcad.2018.8603013},
year = {2018},
month = {oct},
publisher = {{IEEE}},
author = {Hossein Hojjat and Philipp Rummer},
title = {The {ELDARICA} Horn Solver},
booktitle = {2018 Formal Methods in Computer Aided Design ({FMCAD})}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A