Author:Mikolas Janota
Keyphrasesarithmetic, automated theorem provers, benchmark, CEGAR, conflict analysis, EPR, finite model finder, induction, inductive theorem provers, infinite model, OEIS, QBF2, quantification, quantifier elimination, SAT, SMT2, strategies, SyGuS. |