Carlos Mencía

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A memetic algorithm for restoring feasibility in scheduling with limited makespan Natural Computing	2023-08-31	Paper
Reasoning about strong inconsistency in ASP	2021-04-07	Paper
On computing the union of MUSes	2020-05-20	Paper
Minimal sets on propositional formulae. Problems and reductions Artificial Intelligence	2017-11-21	Paper
Improving MCS enumeration via caching	2017-11-15	Paper
Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules AI Communications	2017-11-07	Paper
Efficient reasoning for inconsistent Horn formulae Logics in Artificial Intelligence	2016-11-30	Paper
BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
MCS Extraction with Sublinear Oracle Queries Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing Lecture Notes in Computer Science	2015-11-20	Paper
SAT-Based Horn Least Upper Bounds Lecture Notes in Computer Science	2015-11-20	Paper
Depth-first heuristic search for the job shop scheduling problem Annals of Operations Research	2013-09-03	Paper

Research outcomes over time

This page was built for person: Carlos Mencía