| Open-WBO: A Modular MaxSAT Solver, R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2014 | 279 | 2014 |
| 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 | 222 | 2017 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 209 | 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 | 187 | 2017 |
| Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce Principles and Practice of Constraint Programming: 20th International …, 2014 | 123 | 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 | 113 | 2016 |
| Maximum satisfiabiliy F Bacchus, M Järvisalo, R Martins Handbook of satisfiability, 929-991, 2021 | 94 | 2021 |
| An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17 (3), 304-347, 2012 | 91 | 2012 |
| Large language models for test-free fault localization AZH Yang, C Le Goues, R Martins, V Hellendoorn Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024 | 83 | 2024 |
| Successful use of incremental BMC in the automotive industry P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015 | 71* | 2015 |
| Generalized totalizer encoding for pseudo-boolean constraints S Joshi, R Martins, V Manquinho Principles and Practice of Constraint Programming: 21st International …, 2015 | 66 | 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 | 61 | 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 | 55 | 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 | 48 | 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 | 44 | 2010 |
| Maximal multi-layer specification synthesis Y Chen, R Martins, Y Feng Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 39 | 2019 |
| Patch generation with language models: Feasibility and scaling behavior SD Kolak, R Martins, C Le Goues, VJ Hellendoorn Deep Learning for Code Workshop, 2022 | 37 | 2022 |
| Community-based Partitioning for MaxSAT Solving R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2013 | 37 | 2013 |
| Improving unsatisfiability-based algorithms for boolean optimization V Manquinho, R Martins, I Lynce International Conference on Theory and Applications of Satisfiability …, 2010 | 35 | 2010 |
| Exploiting Cardinality Encodings in Parallel Maximum Satisfiability R Martins, V Manquinho, I Lynce International Conference on Tools with Artificial Intelligence, 313-320, 2011 | 34 | 2011 |
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de Lisboainesc-id.pt의 이메일 확인됨