Name Card

Full name Familienname, Vorname
Kern-Isberner, Gabriele
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Saribatur, Zeynep G. ; Woltran, Stefan Foundations for Projecting Away the Irrelevant in ASP ProgramsInproceedings Konferenzbeitrag 2023
2Kiesel-2023-Knowledge Compilation and More with SharpSAT-TD-vor.pdf.jpgKiesel, Rafael ; Eiter, Thomas Knowledge Compilation and More with SharpSAT-TDInproceedings Konferenzbeitrag 2023
3Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP OptimiserInproceedings Konferenzbeitrag2022