Total Visits

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

Total Visits Per Month

September 2023October 2023November 2023December 2023January 2024February 2024March 2024April 2024May 2024June 2024July 2024
Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming120211112413

File Visits

Views
R.Martin_2019_Minish_HAT_A_Tool_for_the_Minimization_of_Here-and-There_Logic_Programs_and_Theories.pdf220

Top country views

Views
United States152
Sweden15
Germany10
Spain6
Greece6
Argentina5
Ukraine5
Australia4
China2
Ireland2

Top cities views

Views
Ashburn73
Fairfield34
Cambridge11
Ann Arbor6
Mountain View6
Jacksonville5
Stockholm5
Suipacha5
A Coruña4
Dearborn2