Author:Márton Hajdu

Publications
EasyChair Preprint no. 12145
EasyChair Preprint no. 12142
EasyChair Preprint no. 10632
EasyChair Preprint no. 9217
EasyChair Preprint no. 6513
EasyChair Preprint no. 5531
EasyChair Preprint no. 2468

Keyphrases

automated reasoning3, automated software verification, automated theorem proving, automating induction, AVATAR architecture, first-order theorem proving4, function calls, induction4, induction in first-order logic, induction with generalization, inductive benchmarks, Inductive data types, integers, program synthesis, recursion, Reducibility constraints, redundancy, saturation3, saturation based proof search2, software correctness, sorting algorithms, structural induction2, superposition3, superposition reasoning2, superposition-based theorem proving, term algebra2, theorem proving, Vampire2.