Travelled to:1 × Austria
1 × Italy
1 × USA
Collaborated with:J.Marques-Silva A.Ignatiev F.Heras P.J.Matos V.M.Manquinho J.P.M.Silva
Talks about:independ (1) satisfi (1) minimum (1) maximum (1) search (1) improv (1) domain (1) binari (1) reduc (1) model (1)
Person: António Morgado
DBLP: Morgado:Ant=oacute=nio
Contributed to:
201420122006Wrote 3 papers:
- SAT-2014-IgnatievMM #independence #on the #satisfiability #set
- On Reducing Maximum Independent Set to Minimum Satisfiability (AI, AM, JMS), pp. 103–120.
- SAT-2012-MorgadoHM #satisfiability
- Improvements to Core-Guided Binary Search for MaxSAT (AM, FH, JMS), pp. 284–297.
- SAT-2006-MorgadoMMM #integer #modelling
- Counting Models in Integer Domains (AM, PJM, VMM, JPMS), pp. 410–423.