Publications
Export 2 results:
Author Title Type [ Year
] Filters: Author is Martin Blicha and First Letter Of Title is U [Clear All Filters]
Using linear algebra in decomposition of Farkas interpolants,
, International Journal on Software Tools for Technology Transfer, (2021)
Unsatisfiability Proofs for Horn Solving,
, TACAS, (2025)
