Publications
Export 2 results:
Author Title Type [ Year
] Filters: Author is Konstantin Britikov and First Letter Of Title is G [Clear All Filters]
The Golem Horn Solver,
, Computer Aided Verification, (2023)
Golem: a flexible and efficient solver for constrained Horn clauses,
, Formal Methods in System Design, (2025)
