@Inproceedings{EPTCS373.4, author = {Hojjat, Hossein and R\"ummer, Philipp}, year = {2022}, title = {OptiRica: Towards an Efficient Optimizing Horn Solver}, editor = {Hamilton, Geoffrey W. and Kahsai, Temesghen and Proietti, Maurizio}, booktitle = {{\rm Proceedings 9th Workshop on} Horn Clauses for Verification and Synthesis {\rm and 10th International Workshop on} Verification and Program Transformation, {\rm Munich, Germany, 3rd April 2022}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {373}, publisher = {Open Publishing Association}, pages = {35-43}, doi = {10.4204/EPTCS.373.4}, }