António Morgado

Artificial Intelligence · 2013–2020

A researcher in the Science corpus: 3 papers; trusts 25 researchers and is trusted by 7 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 25 citations into it; #13,627 of 35,345 by trust here, #25,040 by citations
• Computational Theory and Mathematics — 24 citations into it; #3,967 of 12,182 by trust here, #4,850 by citations
• Computer Networks and Communications — 10 citations into it
• Algorithms & Complexity — 6 citations into it

Whom António Morgado trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Niklas Eén
2. Zhaohui Fu
3. Armin Biere
4. Niklas Sörensson
5. Sharad Malik
6. Alexey Ignatiev
7. Jessica Davies
8. J. Ross Quinlan
9. Dimitris J. Bertsimas
10. Sicco Verwer

Who trusts António Morgado overall

1. Alexey Ignatiev
2. J. Berg
3. André Schidler
4. Nina Narodytska
5. Mikoláš Janota
6. Emir Demirovi'c
7. Jinqiang Yu
8. Joao Marques-Silva
9. Stefan Szeider
10. Paul Saikko

Papers from António Morgado's perspective

Ordered by how strongly the researchers António Morgado trusts endorse each paper. Same corpus, a different order for every researcher.

1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
2. Scikit-learn: Machine Learning in Python
3. A Structure-Preserving Clause Form Translation
4. Constructing Optimal Binary Decision Trees is NP-Complete
5. Temporal induction by incremental SAT solving (BMC@CAV)
6. Random Forests
7. Efficient CNF Encoding of Boolean Cardinality Constraints
8. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
9. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
10. Learning Optimal Decision Trees with SAT

Their papers

• PySAT: A Python Toolkit for Prototyping with SAT Oracles (2018) — 346 citations
• SAT-Based Encodings for Optimal Decision Trees with Explicit Paths (2020) — 36 citations
• Iterative and core-guided MaxSAT solving: A survey and assessment (2013) — 193 citations