Mencía, Carlos

3 publications

IJCAI 2020 Reasoning About Inconsistent Formulas João Marques-Silva, Carlos Mencía

AAAI 2018 Premise Set Caching for Enumerating Minimal Correction Subsets Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva

IJCAI 2015 Literal-Based MCS Extraction Carlos Mencía, Alessandro Previti, João Marques-Silva