Johannes Schoisswohl

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Quantifier Elimination

Automated Reasoning

Top Venues

Publications

Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Superposition with Delayed Unification. CoRR (2024)
Johannes Schoisswohl, Laura Kovács, Konstantin Korovin
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic. LPAR (2024)
Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl
Refining Unification with Abstraction. LPAR (2023)
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Superposition with Delayed Unification. CADE (2023)
Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov
ALASCA: Reasoning in Quantified Linear Arithmetic. TACAS (1) (2023)
Arnaud De Coster, Nysret Musliu, Andrea Schaerf, Johannes Schoisswohl, Kate Smith-Miles
Algorithm selection and instance space analysis for curriculum-based course timetabling. J. Sched. 25 (1) (2022)
Johannes Schoisswohl, Laura Kovács
Automating Induction by Reflection. CoRR (2021)
Johannes Schoisswohl, Laura Kovács
Automating Induction by Reflection. LFMTP (2021)
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Inductive Benchmarks for Automated Reasoning. CICM (2021)
Giles Reger, Johannes Schoisswohl, Andrei Voronkov
Making Theory Reasoning Simpler. TACAS (2) (2021)
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Induction with Generalization in Superposition Reasoning. CICM (2020)