Name Card

Full name Familienname, Vorname
Korovin, Konstantin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bhayat, Ahmed ; Korovin, Konstantin ; Kovacs, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023
219_Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation.pdf.jpgBrauße, Franz ; Khasidashvili, Zurab ; Korovin, Konstantin Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU ActivationKonferenzbeitrag Inproceedings 2020
3Dragan, Ioan ; Korovin, Konstantin ; Kovacs, Laura ; Voronkov, Andrei Bound Propagation for Arithmetic Reasoning in VampireKonferenzbeitrag Inproceedings2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gleiss, Bernhard ; Suda, Martin Layered Clause Selection for Theory ReasoningKonferenzbeitrag Inproceedings 2020