| Open-WBO: A Modular MaxSAT Solver, R Martins, V Manquinho, I Lynce Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 251 | 2014 |
| Effect of COVID-19 pandemic lockdowns on planned cancer surgery for 15 tumour types in 61 countries: an international, prospective, cohort study J Glasbey, A Ademuyiwa, A Adisa, E AlAmeer, AP Arnaud, F Ayasra, ... The Lancet Oncology 22 (11), 1507-1517, 2021 | 248 | 2021 |
| Component-based synthesis of table consolidation and transformation tasks from examples Y Feng, R Martins, J Van Geffen, I Dillig, S Chaudhuri ACM SIGPLAN Notices 52 (6), 422-436, 2017 | 214 | 2017 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 188 | 2018 |
| Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 168 | 2017 |
| Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce Principles and Practice of Constraint Programming: 20th International …, 2014 | 114 | 2014 |
| Automated synthesis of semantic malware signatures using maximum satisfiability Y Feng, O Bastani, R Martins, I Dillig, S Anand arXiv preprint arXiv:1608.06254, 2016 | 110 | 2016 |
| An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17 (3), 304-347, 2012 | 83 | 2012 |
| Successful use of incremental BMC in the automotive industry P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015 | 66* | 2015 |
| Maximum satisfiabiliy F Bacchus, M Järvisalo, R Martins Handbook of satisfiability, 929-991, 2021 | 61 | 2021 |
| Safety and efficacy of non‐steroidal anti‐inflammatory drugs to reduce ileus after colorectal surgery EuroSurg Collaborative, SJ Chapman, D Clerc, R Blanco‐Colino, A Otto, ... British Journal of Surgery 107 (2), e161-e169, 2020 | 57 | 2020 |
| Generalized totalizer encoding for pseudo-boolean constraints S Joshi, R Martins, V Manquinho Principles and Practice of Constraint Programming: 21st International …, 2015 | 56 | 2015 |
| MaxSAT evaluation 2020: solver and benchmark descriptions F Bacchus, J Berg, M Järvisalo, R Martins Department of Computer Science, University of Helsinki, 2020 | 49 | 2020 |
| Finding invariants of distributed systems: It's a small (enough) world after all T Hance, M Heule, R Martins, B Parno 18th USENIX symposium on networked systems design and implementation (NSDI …, 2021 | 42 | 2021 |
| Trinity: An extensible synthesis framework for data science R Martins, J Chen, Y Chen, Y Feng, I Dillig Proceedings of the VLDB Endowment 12 (12), 1914-1917, 2019 | 42 | 2019 |
| Improving Search Space Splitting for Parallel SAT Solving R Martins, V Manquinho, I Lynce International Conference on Tools with Artificial Intelligence, 313-320, 2010 | 41 | 2010 |
| Maximal multi-layer specification synthesis Y Chen, R Martins, Y Feng Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 37 | 2019 |
| Community-based Partitioning for MaxSAT Solving R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2013 | 36 | 2013 |
| Exploiting Cardinality Encodings in Parallel Maximum Satisfiability R Martins, V Manquinho, I Lynce International Conference on Tools with Artificial Intelligence, 313-320, 2011 | 31 | 2011 |
| Improving unsatisfiability-based algorithms for boolean optimization V Manquinho, R Martins, I Lynce International Conference on Theory and Applications of Satisfiability …, 2010 | 31 | 2010 |
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de Lisboa在 inesc-id.pt 的电子邮件经过验证
