Author:Petra Hozzová

Publications
EasyChair Preprint no. 12145
EasyChair Preprint no. 10223
EasyChair Preprint no. 8182
EasyChair Preprint no. 6513
EasyChair Preprint no. 5531
EasyChair Preprint no. 5176
EasyChair Preprint no. 2468

Keyphrases

automated deduction, automated reasoning4, AVATAR architecture, first-order theorem proving3, formal verification, induction4, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, Linear Integer Arithmetic, non-linear integer arithmetic, non-linear real arithmetic, program synthesis3, recursion, saturation3, saturation based proof search2, saturation-based theorem proving, smart contracts, SMT solving, structural induction2, superposition2, superposition reasoning3, superposition theorem prover, term algebra2, theorem proving3, Vampire2.