Induction with Generalization in Superposition Reasoning von Hajdú, Márton, Hozzová, Petra, Kovács, Laura, Schoisswohl, Johannes, Voronkov, Andrei

Volltext

Automated Generation of Exam Sheets for Automated Deduction von Hozzová, Petra, Kovács, Laura, Rath, Jakob

Volltext

Inductive Benchmarks for Automated Reasoning von Hajdu, Márton, Hozzová, Petra, Kovács, Laura, Schoisswohl, Johannes, Voronkov, Andrei

Volltext

Getting Saturated with Induction von Hajdu, Márton, Hozzová, Petra, Kovács, Laura, Reger, Giles, Voronkov, Andrei

Volltext

Program Synthesis in Saturation von Hozzová, Petra, Kovács, Laura, Chase, Norman, Voronkov, Andrei

Volltext

Getting Saturated with Induction von Hajdu, Márton, Hozzová, Petra, Kovács, Laura, Reger, Giles, Voronkov, Andrei

Volltext

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification von Hozzová, Petra, Bendík, Jaroslav, Nutz, Alexander, Rodeh, Yoav

Volltext

Towards Higher-order OWL von Homola, Martin, Kľuka, Ján, Hozzová, Petra, Svátek, Vojtěch, Vacura, Miroslav

Volltext

Induction with Recursive Definitions in Superposition von Hajdu, Marton, Hozzova, Petra, Kovacs, Laura, Voronkov, Andrei

Volltext