Johannes Schoisswohl

According to our database, Johannes Schoisswohl authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic.

Johannes Schoisswohl, Laura Kovács, Konstantin Korovin

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

ALASCA: Reasoning in Quantified Linear Arithmetic.

Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Refining Unification with Abstraction.

Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Superposition with Delayed Unification.

Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Algorithm selection and instance space analysis for curriculum-based course timetabling.

Arnaud De Coster, Nysret Musliu, Andrea Schaerf, Johannes Schoisswohl, Kate Smith-Miles

J. Sched., 2022

2021

Automating Induction by Reflection.

Johannes Schoisswohl, Laura Kovács

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021

Making Theory Reasoning Simpler.

Giles Reger, Johannes Schoisswohl, Andrei Voronkov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Inductive Benchmarks for Automated Reasoning.

Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2020

Induction with Generalization in Superposition Reasoning.

Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020