conftrace_

Antonio Morgado

4 papers · 2015–2019 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🧭 Keyword Pioneer 🐝 Cross-Pollinator (11)

Conferences

IJCAI (4)

Top co-authors

Alexey Ignatiev (4) Joao Marques-Silva (4) Mikoláš Janota (1) Georg Weissenbacher (1) Alessandro Previti (1)

Keywords

model-based diagnosis (1) graph optimization (1) automated testing (1) propositional satisfiability (1) fault localization (1) minimal diagnosis (1) maximum clique (1) cardinality encoding (1)

Papers

Model-Based Diagnosis with Multiple Observations IJCAI 2019 Cardinality Encodings for Graph Optimization Problems IJCAI 2017 Efficient Model Based Diagnosis with Maximum Satisfiability IJCAI 2015 Prime Compilation of Non-Clausal Formulae IJCAI 2015