Author:Johannes SchoisswohlPublications |
---|
| | EasyChair Preprint 13150 | EasyChair Preprint 13150 | EasyChair Preprint 9606 | EasyChair Preprint 9606 | EasyChair Preprint 9606 | EasyChair Preprint 9606 | EasyChair Preprint 9606 | EasyChair Preprint 5531 | EasyChair Preprint 5000 | EasyChair Preprint 2468 | EasyChair Preprint 2468 |
Keyphrasesarithmetic2, automated reasoning5, automated theorem proving, AVATAR architecture, decision procedure, Descision Procedure, first-order logic, first-order theorem proving, gaussian variable elimination rule, induction, induction with generalization, inductive benchmarks, Inductive data types, integers, LIA, linear arithmetic2, LIRA2, logic, LRA, Presburger arithmetic, proof search, Quantified First-Order Logic, quantifier elimination2, saturation based proof search2, SMT4, structural induction, superposition reasoning, term algebra, theorem prover, theorem proving, theory reasoning, unification, Unification with Abstraction, Vampire, virtual substitution. |
|