Antonio Morgado

Identifiers

• name variant Antonio Morgado 0.60 · backfill

Papers (7)

1. Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets cs.LO · 2017 · author #2
2. Horn Maximum Satisfiability: Reductions, Algorithms & Applications cs.LO · 2017 · author #3
3. On Tackling the Limits of Resolution in SAT Solving cs.LO · 2017 · author #2
4. Propositional Abduction with Implicit Hitting Sets cs.AI · 2016 · author #2
5. SAT-based Preprocessing for MaxSAT (extended version) cs.AI · 2013 · author #2
6. On Validating Boolean Optimizers cs.AI · 2011 · author #1
7. A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem cs.AI · 2008 · author #1

Mentions

• 1310.2298 #2 · backfill · confidence 0.70 Antonio Morgado
• 1109.2752 #1 · backfill · confidence 0.70 Antonio Morgado
• 0805.0202 #1 · backfill · confidence 0.70 Antonio Morgado

Frequent Coauthors

• Joao Marques-Silva 7 shared papers
• Alexey Ignatiev 4 shared papers
• Anton Belov 1 shared papers