Carlos Menca
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
11
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Model-Agnostic Explanations by Consensus. | Carlos Menca, Ramn Bjar, Ral Menca, Joo Marques-Silva |
| 2026 | SAT | Shapley-Shubik Attribution from Minimal Subsets (Short Paper). | Pablo Martnez-Naredo, Ral Menca, Joo Marques-Silva, Carlos Menca |
| 2025 | JELIA | Explanations of Unsatisfiability Beyond Minimal Subsets. | Pablo Martnez-Naredo, Ral Menca, Joo Marques-Silva, Carlos Menca |
| 2021 | GECCO | The optimal filtering set problem with application to surrogate evaluation in genetic programming. | Francisco Javier Gil Gala, Mara R. Sierra, Carlos Menca, Ramiro Varela |
| 2020 | ECAI | Exhaustive Search of Priority Rules for On-Line Scheduling. | Francisco Javier Gil Gala, Carlos Menca, Mara R. Sierra, Ramiro Varela |
| 2020 | IJCAI | Reasoning About Inconsistent Formulas. | Joo Marques-Silva, Carlos Menca |
| 2020 | SAT | Reasoning About Strong Inconsistency in ASP. | Carlos Menca, Joo Marques-Silva |
| 2019 | EPIA | Computing Shortest Resolution Proofs. | Carlos Menca, Joo Marques-Silva |
| 2019 | IWINAC | Repairing Infeasibility in Scheduling via Genetic Algorithms. | Ral Menca, Carlos Menca, Ramiro Varela |
| 2019 | SAT | On Computing the Union of MUSes. | Carlos Menca, Oliver Kullmann, Alexey Ignatiev, Joo Marques-Silva |
| 2018 | AAAI | Premise Set Caching for Enumerating Minimal Correction Subsets. | Alessandro Previti, Carlos Menca, Matti Jrvisalo, Joo Marques-Silva |
| 2017 | IWINAC | Genetic Algorithm for Scheduling Charging Times of Electric Vehicles Subject to Time Dependent Power Availability. | Carlos Menca, Mara R. Sierra, Ral Menca, Ramiro Varela |
| 2017 | SAT | Improving MCS Enumeration via Caching. | Alessandro Previti, Carlos Menca, Matti Jrvisalo, Joo Marques-Silva |
| 2016 | JELIA | Efficient Reasoning for Inconsistent Horn Formulae. | Joo Marques-Silva, Alexey Ignatiev, Carlos Menca, Rafael Pealoza |
| 2016 | SAT | BEACON: An Efficient SAT-Based Tool for Debugging | M. Fareed Arif, Carlos Menca, Alexey Ignatiev, Norbert Manthey, Rafael Pealoza, Joo Marques-Silva |
| 2016 | SAT | MCS Extraction with Sublinear Oracle Queries. | Carlos Menca, Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva |
| 2015 | IJCAI | Literal-Based MCS Extraction. | Carlos Menca, Alessandro Previti, Joo Marques-Silva |
| 2015 | KI | Efficient Axiom Pinpointing with EL2MCS. | M. Fareed Arif, Carlos Menca, Joo Marques-Silva |
| 2015 | SAT | Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. | M. Fareed Arif, Carlos Menca, Joo Marques-Silva |
| 2015 | SAT | SAT-Based Horn Least Upper Bounds. | Carlos Menca, Alessandro Previti, Joo Marques-Silva |
| 2014 | ICTAI | Efficient Relaxations of Over-constrained CSPs. | Carlos Menca, Joo Marques-Silva |
| 2012 | ICTAI | Robust Solutions to Job-Shop Scheduling Problems with Operators. | Joan Escamilla, Mario Rodrguez-Molins, Miguel A. Salido, Mara R. Sierra, Carlos Menca, Federico Barber |
| 2011 | IWINAC | Genetic Algorithm for Job-Shop Scheduling with Operators. | Ral Menca, Mara R. Sierra, Carlos Menca, Ramiro Varela |