关注
Ruben Martins
标题
引用次数
引用次数
年份
Open-WBO: A Modular MaxSAT Solver,
R Martins, V Manquinho, I Lynce
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
2512014
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
2482021
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
2142017
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
ACM SIGPLAN Notices 53 (4), 420-435, 2018
1882018
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
1682017
Incremental cardinality constraints for MaxSAT
R Martins, S Joshi, V Manquinho, I Lynce
Principles and Practice of Constraint Programming: 20th International …, 2014
1142014
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
1102016
An overview of parallel SAT solving
R Martins, V Manquinho, I Lynce
Constraints 17 (3), 304-347, 2012
832012
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
612021
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
572020
Generalized totalizer encoding for pseudo-boolean constraints
S Joshi, R Martins, V Manquinho
Principles and Practice of Constraint Programming: 21st International …, 2015
562015
MaxSAT evaluation 2020: solver and benchmark descriptions
F Bacchus, J Berg, M Järvisalo, R Martins
Department of Computer Science, University of Helsinki, 2020
492020
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
422021
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
422019
Improving Search Space Splitting for Parallel SAT Solving
R Martins, V Manquinho, I Lynce
International Conference on Tools with Artificial Intelligence, 313-320, 2010
412010
Maximal multi-layer specification synthesis
Y Chen, R Martins, Y Feng
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
372019
Community-based Partitioning for MaxSAT Solving
R Martins, V Manquinho, I Lynce
International Conference on Theory and Applications of Satisfiability …, 2013
362013
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
R Martins, V Manquinho, I Lynce
International Conference on Tools with Artificial Intelligence, 313-320, 2011
312011
Improving unsatisfiability-based algorithms for boolean optimization
V Manquinho, R Martins, I Lynce
International Conference on Theory and Applications of Satisfiability …, 2010
312010
系统目前无法执行此操作,请稍后再试。
文章 1–20