Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rodrigo Martin

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

English