António Morgado
António Morgado
SAT group, Inesc-ID
No hay ninguna dirección de correo electrónico verificada.
Título
Citado por
Citado por
Año
Iterative and core-guided MaxSAT solving: A survey and assessment
A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva
Constraints 18 (4), 478-534, 2013
1362013
Core-guided binary search algorithms for maximum satisfiability
F Heras, A Morgado, J Marques-Silva
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
822011
Core-guided MaxSAT with soft cardinality constraints
A Morgado, C Dodaro, J Marques-Silva
International Conference on Principles and Practice of Constraint …, 2014
782014
PySAT: A Python toolkit for prototyping with SAT oracles
A Ignatiev, A Morgado, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2018
452018
Improvements to core-guided binary search for MaxSAT
A Morgado, F Heras, J Marques-Silva
International conference on theory and applications of satisfiability …, 2012
442012
Efficient model based diagnosis with maximum satisfiability
J Marques-Silva, M Janota, A Ignatiev, A Morgado
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
332015
MSCG: Robust core-guided MaxSAT solving
A Morgado, A Ignatiev, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 129-134, 2014
332014
Prime compilation of non-clausal formulae
A Previti, A Ignatiev, A Morgado, J Marques-Silva
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
312015
MaxSAT-based MCS enumeration
A Morgado, M Liffiton, J Marques-Silva
Haifa Verification Conference, 86-101, 2012
302012
Progression in Maximum Satisfiability.
A Ignatiev, A Morgado, VM Manquinho, I Lynce, J Marques-Silva
ECAI, 453-458, 2014
252014
Good learning and implicit model enumeration
A Morgado, J Marques-Silva
17th IEEE International Conference on Tools with Artificial Intelligence …, 2005
242005
On tackling the limits of resolution in SAT solving
A Ignatiev, A Morgado, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2017
192017
SAT-based preprocessing for MaxSAT
A Belov, A Morgado, J Marques-Silva
International Conference on Logic for Programming Artificial Intelligence …, 2013
192013
Iterative SAT solving for minimum satisfiability
F Hers, A Morgado, J Planes, J Marques-Silva
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
162012
MaxSAT resolution with the dual rail encoding
ML Bonet, S Buss, A Ignatiev, J Marques-Silva, A Morgado
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
152018
Propositional abduction with implicit hitting sets
A Ignatiev, A Morgado, J Marques-Silva
arXiv preprint arXiv:1604.08229, 2016
142016
On reducing maximum independent set to minimum satisfiability
A Ignatiev, A Morgado, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2014
122014
An empirical study of encodings for group MaxSAT
F Heras, A Morgado, J Marques-Silva
Canadian Conference on Artificial Intelligence, 85-96, 2012
122012
RC2: An efficient MaxSAT solver
A Ignatiev, A Morgado, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 2019
112019
MaxSAT-based encodings for Group MaxSAT
F Heras, A Morgado, J Marques-Silva
AI Communications 28 (2), 195-214, 2015
112015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20