Concepedia

António Morgado

AM

12

Publications

531

Citations

11

H-Index

2005

Active since

Affiliations

University of Lisbon(Current)

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

University College Dublin

Universitat de Lleida

António Morgado is an author at University of Lisbon specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceSatisfiabilityAutomated ReasoningFormal MethodsFormal VerificationComputational ComplexityVerificationSoftware TestingData Science

Publications per year

2005–2019

12

Publications

12

Iterative and core-guided MaxSAT solving: A survey and assessment

António Morgado, Federico Heras, Mark H. Liffiton et al. · Constraints · 2013 · 165 citations

Numerical Analysis, Mathematical Programming, Large-scale Global Optimization +5

RC2: an Efficient MaxSAT Solver

Alexey Ignatiev, António Morgado, João Marques‐Silva · Journal on Satisfiability Boolean Modeling and Computation · 2019 · 98 citations · Full text

Engineering, State-of-the-art Sat Solvers, Propositional Satisfiability +19

Core-Guided Binary Search Algorithms for Maximum Satisfiability

Federico Heras, António Morgado, João Marques‐Silva · Proceedings of the AAAI Conference on Artificial Intelligence · 2011 · 69 citations · Full text

Artificial Intelligence, Engineering, Several Maxsat Algorithms +14

MSCG: Robust Core-Guided MaxSAT Solving

António Morgado, Alexey Ignatiev, João Marques‐Silva · Journal on Satisfiability Boolean Modeling and Computation · 2015 · 37 citations · Full text

Large-scale Global Optimization, Engineering, Core-guided Approac +20

Efficient model based diagnosis with maximum satisfiability

João Marques‐Silva, Mikoláš Janota, Alexey Ignatiev et al. · 2015 · 31 citations

Rows per page

1–5 of 12