Author:Konstantin Korovin

Publications
EasyChair Preprint 13150
EasyChair Preprint 13150
EasyChair Preprint 9606
EasyChair Preprint 9606
EasyChair Preprint 9606
EasyChair Preprint 9606
EasyChair Preprint 9606

Keyphrases

abstraction refinement, arithmetic2, automated reasoning2, automated theorem proving, Bounded Model Checking, Clause Evaluation, decision procedure, Descision Procedure, EPR, EPR fragment, first-order logic, Graph Neural Networks, interpolation, k-induction, LIA, linear arithmetic2, LIRA2, logic, LRA, machine learning, Presburger arithmetic, Quantified First-Order Logic, quantifier elimination2, SMT4, theorem proving3, unification, Unification with Abstraction, virtual substitution.