| Open-WBO: a Modular MaxSAT Solver R Martins, V Manquinho, I Lynce Theory and Applications of Satisfiability Testing–SAT 2014, 438-445, 2014 | 279 | 2014 |
| Algorithms for weighted boolean optimization V Manquinho, J Marques-Silva, J Planes Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 206 | 2009 |
| Pseudo-Boolean and cardinality constraints O Roussel, V Manquinho Handbook of satisfiability, 1087-1129, 2021 | 171 | 2021 |
| Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce Principles and Practice of Constraint Programming: 20th International …, 2014 | 123 | 2014 |
| An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17, 304-347, 2012 | 91 | 2012 |
| Prime implicant computation using satisfiability algorithms VM Manquinho, PF Flores, JPM Silva, AL Oliveira Proceedings Ninth IEEE International Conference on Tools with Artificial …, 1997 | 88 | 1997 |
| The first evaluation of pseudo-Boolean solvers (PB’05) VM Manquinho, O Roussel Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 103-143, 2006 | 78 | 2006 |
| On using cutting planes in pseudo-boolean optimization VM Manquinho, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 209-219, 2006 | 74 | 2006 |
| Generalized totalizer encoding for pseudo-boolean constraints S Joshi, R Martins, V Manquinho Principles and Practice of Constraint Programming: 21st International …, 2015 | 66 | 2015 |
| Towards more effective unsatisfiability-based maximum satisfiability algorithms J Marques-Silva, V Manquinho International Conference on Theory and Applications of Satisfiability …, 2008 | 66 | 2008 |
| Search pruning techniques in SAT-based branch-and-bound algorithms for the binate covering problem VM Manquinho, JP Marques-Silva IEEE Transactions on computer-Aided Design of integrated Circuits and …, 2002 | 62 | 2002 |
| Effective lower bounding techniques for pseudo-Boolean optimization [EDA applications] VM Manquinho, J Marques-Silva Design, Automation and Test in Europe, 660-665, 2005 | 50 | 2005 |
| Improving search space splitting for parallel SAT solving R Martins, V Manquinho, I Lynce 2010 22nd IEEE International Conference on Tools with Artificial …, 2010 | 44 | 2010 |
| Progression in maximum satisfiability A Ignatiev, A Morgado, V Manquinho, I Lynce, J Marques-Silva ECAI 2014, 453-458, 2014 | 37 | 2014 |
| Community-based partitioning for maxsat solving R Martins, V Manquinho, I Lynce Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013 | 37 | 2013 |
| Improving unsatisfiability-based algorithms for boolean optimization V Manquinho, R Martins, I Lynce Theory and Applications of Satisfiability Testing–SAT 2010, 181-193, 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 |
| SOAR: A synthesis approach for data science API refactoring A Ni, D Ramos, AZH Yang, I Lynce, V Manquinho, R Martins, C Le Goues 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 32 | 2021 |
| SQUARES: a SQL synthesizer using query reverse engineering P Orvalho, M Terra-Neves, M Ventura, R Martins, V Manquinho Proceedings of the VLDB Endowment 13 (12), 2853-2856, 2020 | 31 | 2020 |
| Parallel search for maximum satisfiability R Martins, V Manquinho, I Lynce AI Communications 25 (2), 75-95, 2012 | 30 | 2012 |
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨