Publications
Export 3 results:
Author [ Title
Filters: First Letter Of Title is U and Author is Natasha Sharygina [Clear All Filters]
Unsatisfiability Proofs for Horn Solving,
, TACAS, (2025)
Using Cross-Entropy for Satisfiability,
, ACM Symposium on Applied Computing (SAC), (2013)
Using linear algebra in decomposition of Farkas interpolants,
, International Journal on Software Tools for Technology Transfer, (2021)