Vasco Manquinho
Vasco Manquinho
INESC-ID, Instituto Superior Técnico - Universidade de Lisboa
Dirección de correo verificada de inesc-id.pt - Página principal
TítuloCitado porAño
Algorithms for weighted boolean optimization
V Manquinho, J Marques-Silva, J Planes
International conference on theory and applications of satisfiability …, 2009
1542009
Open-WBO: a Modular MaxSAT Solver
R Martins, V Manquinho, I Lynce
Theory and Applications of Satisfiability Testing–SAT 2014, 438-445, 2014
1142014
Pseudo-Boolean and Cardinality Constraints.
O Roussel, VM Manquinho
Handbook of satisfiability 185, 695-733, 2009
902009
Prime implicant computation using satisfiability algorithms
VM Manquinho, PF Flores, JPM Silva, AL Oliveira
Proceedings Ninth IEEE International Conference on Tools with Artificial …, 1997
681997
Incremental cardinality constraints for MaxSAT
R Martins, S Joshi, V Manquinho, I Lynce
International Conference on Principles and Practice of Constraint …, 2014
652014
On using cutting planes in pseudo-boolean optimization
VM Manquinho, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 2, 209-219, 2006
622006
An overview of parallel SAT solving
R Martins, V Manquinho, I Lynce
Constraints 17 (3), 304-347, 2012
582012
The first evaluation of pseudo-Boolean solvers (PB’05)
VM Manquinho, O Roussel
Journal on Satisfiability, Boolean Modeling and Computation 2, 103-143, 2006
562006
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
552002
Towards more effective unsatisfiability-based maximum satisfiability algorithms
J Marques-Silva, V Manquinho
International Conference on Theory and Applications of Satisfiability …, 2008
492008
Effective lower bounding techniques for pseudo-boolean optimization
VM Manquinho, J Marques-Silva
Proceedings of the conference on Design, Automation and Test in Europe …, 2005
452005
Improving search space splitting for parallel SAT solving
R Martins, V Manquinho, I Lynce
2010 22nd IEEE International Conference on Tools with Artificial …, 2010
302010
Community-based partitioning for MaxSAT solving
R Martins, V Manquinho, I Lynce
International conference on theory and applications of satisfiability …, 2013
252013
Parallel search for maximum satisfiability
R Martins, V Manquinho, I Lynce
AI Communications 25 (2), 75-95, 2012
252012
Generalized totalizer encoding for pseudo-Boolean constraints
S Joshi, R Martins, V Manquinho
International conference on principles and practice of constraint …, 2015
242015
Improving unsatisfiability-based algorithms for boolean optimization
V Manquinho, R Martins, I Lynce
Theory and Applications of Satisfiability Testing–SAT 2010, 181-193, 2010
242010
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
R Martins, V Manquinho, I Lynce
International Conference on Tools with Artificial Intelligence, 313–320, 2011
222011
Satisfiability-based algorithms for boolean optimization
VM Manquinho, JP Marques-Silva
Annals of Mathematics and Artificial Intelligence 40 (3-4), 353-372, 2004
222004
Progression in Maximum Satisfiability.
A Ignatiev, A Morgado, VM Manquinho, I Lynce, J Marques-Silva
ECAI, 453-458, 2014
212014
On using satisfiability-based pruning techniques in covering algorithms
VM Manquinho, J Marques-Silva
Proceedings Design, Automation and Test in Europe Conference and Exhibition …, 2000
212000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20