HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Johannes Schoisswohl

Publications
ALASCA: Reasoning in Quantified Linear Arithmetic (Extended Version)
Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 9606
Inductive Benchmarks for Automated Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 5531
Making Theory Reasoning Simpler
Giles Reger, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 5000
Induction with Generalization in Superposition Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 2468

Keyphrases

automated reasoning4, AVATAR architecture, first-order logic, first-order theorem proving, gaussian variable elimination rule, induction, induction with generalization, inductive benchmarks, Inductive data types, integers, linear arithmetic, proof search, Quantified First-Order Logic, saturation based proof search2, SMT2, structural induction, superposition reasoning, term algebra, theorem prover, theorem proving, theory reasoning, Vampire.

Copyright © 2012-2023 easychair.org. All rights reserved.