Enrico Giunchiglia

Binding

IJCAI 2020, pp.4128-4134, (2020)

Constraints, no. 4 (2018): 383-402

FUNDAMENTA INFORMATICAE, no. 1-2 (2016): 133-158

AST@ICSE, pp.33-37, (2015)

RCRA@AI*IA, pp.62-75, (2015)

ICAPS, (2013)

ICAPS, pp.29-36, (2013)

RCRA@AI*IA, (2013)

AI Commun., no. 4 (2013): 395-408

Correct Reasoning, pp.327-344, (2012)

Frontiers in Artificial Intelligence and Applications, (2012): 217-+

J. Comput. Syst. Sci., no. 1 (2012): 119-141

J. Log. Comput., no. 2 (2011): 205-229

SAC, pp.901-906, (2011)

Fundam. Inform., no. 2-3 (2011): 139-166

SAT, pp.85-98, (2010)

VERIFY@IJCAR, pp.65-78, (2010)

Journal of Automated Reasoning, no. 4 (2010): 397-414