Publications by the researcher in collaboration with Rodrigo Martin (1)

2019

  1. Minish HAT:: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming

    XoveTIC 2019: The 2nd XoveTIC Conference (XoveTIC 2019), A Coruña, Spain, 5–6 September