Name Card

Full name Familienname, Vorname
DODARO, CARMINE
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER Partial Compilation of ASP ProgramsArtikel Article 2019
2ALVIANO, MARIO ; DODARO, CARMINE ; FICHTE, JOHANNES K. ; HECHER, MARKUS ; PHILIPP, TOBIAS ; RATH, JAKOB Inconsistency Proofs for ASP: The ASP - DRUPE FormatKonferenzbeitrag Inproceedings 2019
3CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER Constraints, lazy constraints, or propagators in ASP solving: An empirical analysisArtikel Article 2017