Johannes Schoisswohl

Orcid: 0000-0001-5550-196X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023
ALASCA: Reasoning in Quantified Linear Arithmetic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Refining Unification with Abstraction.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Superposition with Delayed Unification.
Proceedings of the Automated Deduction - CADE 29, 2023

2022
Algorithm selection and instance space analysis for curriculum-based course timetabling.
J. Sched., 2022

2021
Automating Induction by Reflection.
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021

Making Theory Reasoning Simpler.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Inductive Benchmarks for Automated Reasoning.
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2020
Induction with Generalization in Superposition Reasoning.
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020


  Loading...