Name Card

Full name Familienname, Vorname

Dodaro, Carmine

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Cuteri, Bernardo ; Dodaro, Carmine ; Ricca, Francesco ; Schüller, Peter	Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators	Konferenzbeitrag Inproceedings	2021
	2		Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui	The Fourth Answer Set Programming Competition: Preliminary Report	Konferenzbeitrag Inproceedings	2013