フォロー
Vasco Manquinho
Vasco Manquinho
INESC-ID, Instituto Superior Técnico - Universidade de Lisboa
確認したメール アドレス: inesc-id.pt - ホームページ
タイトル
引用先
引用先
年
Open-WBO: a Modular MaxSAT Solver
R Martins, V Manquinho, I Lynce
Theory and Applications of Satisfiability Testing–SAT 2014, 438-445, 2014
2742014
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
2052009
Pseudo-Boolean and cardinality constraints
O Roussel, V Manquinho
Handbook of satisfiability, 1087-1129, 2021
1692021
Incremental cardinality constraints for MaxSAT
R Martins, S Joshi, V Manquinho, I Lynce
Principles and Practice of Constraint Programming: 20th International …, 2014
1242014
An overview of parallel SAT solving
R Martins, V Manquinho, I Lynce
Constraints 17, 304-347, 2012
902012
Prime implicant computation using satisfiability algorithms
VM Manquinho, PF Flores, JPM Silva, AL Oliveira
Proceedings Ninth IEEE International Conference on Tools with Artificial …, 1997
841997
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
762006
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
742006
Generalized totalizer encoding for pseudo-boolean constraints
S Joshi, R Martins, V Manquinho
Principles and Practice of Constraint Programming: 21st International …, 2015
662015
Towards more effective unsatisfiability-based maximum satisfiability algorithms
J Marques-Silva, V Manquinho
International Conference on Theory and Applications of Satisfiability …, 2008
652008
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
612002
Effective lower bounding techniques for pseudo-Boolean optimization [EDA applications]
VM Manquinho, J Marques-Silva
Design, Automation and Test in Europe, 660-665, 2005
502005
Improving search space splitting for parallel SAT solving
R Martins, V Manquinho, I Lynce
2010 22nd IEEE International Conference on Tools with Artificial …, 2010
432010
Progression in maximum satisfiability
A Ignatiev, A Morgado, V Manquinho, I Lynce, J Marques-Silva
ECAI 2014, 453-458, 2014
372014
Community-based partitioning for maxsat solving
R Martins, V Manquinho, I Lynce
Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013
372013
Improving unsatisfiability-based algorithms for boolean optimization
V Manquinho, R Martins, I Lynce
Theory and Applications of Satisfiability Testing–SAT 2010, 181-193, 2010
352010
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
R Martins, V Manquinho, I Lynce
International Conference on Tools with Artificial Intelligence, 313–320, 2011
342011
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
332021
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
302020
Parallel search for maximum satisfiability
R Martins, V Manquinho, I Lynce
AI Communications 25 (2), 75-95, 2012
302012
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20