Name Card

Full name Familienname, Vorname
Schoisswohl, Johannes
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael Superposition with Delayed UnificationInproceedings Konferenzbeitrag 2-Sep-2023
2Bhayat, Ahmed ; Korovin, Konstantin ; Kovacs, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023
3Korovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei ALASCA: Reasoning in Quantified Linear ArithmeticInproceedings Konferenzbeitrag 2023
4De Coster, Arnaud ; Musliu, Nysret ; Schaerf, Andrea ; Schoisswohl, Johannes ; Smith-Miles, Kate Algorithm selection and instance space analysis for curriculum-based course timetablingArtikel Article 2021
5Schoisswohl, Johannes ; Kovács, Laura Automating Induction by ReflectionKonferenzbeitrag Inproceedings 2021
6Hajdu - 2020 - Induction with generalization in superposition reasoning.pdf.jpgHajdú, Márton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei Induction with Generalization in Superposition ReasoningInproceedings Konferenzbeitrag 26-Jul-2020
7Schoisswohl Johannes - 2020 - Automated induction by reflection.pdf.jpgSchoisswohl, Johannes Automated induction by reflectionThesis Hochschulschrift 2020