Carlos Mencía
2 papers
· 2015–2020
· 1 conference
· across top CS/AI conferences
Achievements
🏃
Academic Marathon
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
IJCAI (2)
Top co-authors
Papers
Reasoning About Inconsistent Formulas
IJCAI 2020
Literal-Based MCS Extraction
IJCAI 2015