受强制性开放获取政策约束的文章 - António Morgado了解详情
无法在其他位置公开访问的文章：3 篇
MaxSAT-based encodings for group MaxSAT
F Heras, A Morgado, J Marques-Silva
Ai Communications 28 (2), 195-214, 2015
强制性开放获取政策： Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
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
强制性开放获取政策： Science Foundation Ireland
Model-guided approaches for MaxSAT solving
A Morgado, F Heras, J Marques-Silva
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
强制性开放获取政策： Science Foundation Ireland
可在其他位置公开访问的文章：31 篇
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
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
Iterative and core-guided MaxSAT solving: A survey and assessment
A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva
Constraints 18, 478-534, 2013
强制性开放获取政策： Science Foundation Ireland, Government of Spain
RC2: an efficient MaxSAT solver
A Ignatiev, A Morgado, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 2019
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
Core-guided MaxSAT with soft cardinality constraints
A Morgado, C Dodaro, J Marques-Silva
International Conference on Principles and Practice of Constraint …, 2014
强制性开放获取政策： Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
Core-guided binary search algorithms for maximum satisfiability
F Heras, A Morgado, J Marques-Silva
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 36-41, 2011
强制性开放获取政策： Science Foundation Ireland
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
强制性开放获取政策： Science Foundation Ireland
Efficient model based diagnosis with maximum satisfiability
J Marques-Silva, M Janota, A Ignatiev, A Morgado
International Joint Conference on Artificial Intelligence 2015, 1966-1972, 2015
强制性开放获取政策： Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
Improvements to core-guided binary search for MaxSAT
A Morgado, F Heras, J Marques-Silva
Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012
强制性开放获取政策： Science Foundation Ireland
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
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
Prime compilation of non-clausal formulae
A Previti, A Ignatiev, A Morgado, J Marques-Silva
International Joint Conference on Artificial Intelligence 2015, 1980-1987, 2015
强制性开放获取政策： Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
MaxSAT-based MCS enumeration
A Morgado, M Liffiton, J Marques-Silva
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
强制性开放获取政策： Science Foundation Ireland
MaxSAT resolution with the dual rail encoding
ML Bonet, S Buss, A Ignatiev, J Marques-Silva, A Morgado
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
Progression in maximum satisfiability
A Ignatiev, A Morgado, V Manquinho, I Lynce, J Marques-Silva
ECAI 2014, 453-458, 2014
强制性开放获取政策： Science Foundation Ireland, Fundação para a Ciência e a Tecnologia, Portugal
Model-Based Diagnosis with Multiple Observations.
A Ignatiev, A Morgado, G Weissenbacher, J Marques-Silva
IJCAI, 1108-1115, 2019
强制性开放获取政策： Austrian Science Fund, Fundação para a Ciência e a Tecnologia, Portugal …
SAT-based preprocessing for MaxSAT
A Belov, A Morgado, J Marques-Silva
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
强制性开放获取政策： Science Foundation Ireland
Propositional Abduction with Implicit Hitting Sets
A Ignatiev, A Morgado, J Marques-Silva
European Conference on Artificial Inteligence, 2016
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
Feature necessity & relevancy in ML classifier explanations
X Huang, MC Cooper, A Morgado, J Planes, J Marques-Silva
International Conference on Tools and Algorithms for the Construction and …, 2023
强制性开放获取政策： European Commission, Agence Nationale de la Recherche, Government of Spain
出版信息和资助信息由计算机程序自动确定