Minish HAT: A Tool for the Minimization of Here-And-There Logic Programs and Theories in Answer Set Programming
Proceedings
doi 10.3390/proceedings2019021022
Full Text
Open PDFAbstract
Available in full text
Date
July 31, 2019
Authors
Publisher
MDPI AG