Vasco M. Manquinho Vis

*	2009
25	EE	João Delgado, Inês Lynce, Vasco M. Manquinho: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. RECOMB-CG 2009: 138-149
24	EE	Vasco M. Manquinho, João P. Marques Silva, Jordi Planes: Algorithms for Weighted Boolean Optimization. SAT 2009: 495-508
23	EE	Olivier Roussel, Vasco M. Manquinho: Pseudo-Boolean and Cardinality Constraints. Handbook of Satisfiability 2009: 695-733
22	EE	Vasco M. Manquinho, João P. Marques Silva, Jordi Planes: Algorithms for Weighted Boolean Optimization CoRR abs/0903.0843: (2009)
	2008
21		Federico Heras, Vasco M. Manquinho, João Marques-Silva: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. FLAIRS Conference 2008: 71-76
20	EE	João Marques-Silva, Inês Lynce, Vasco M. Manquinho: Symmetry Breaking for Maximum Satisfiability. LPAR 2008: 1-15
19	EE	José Santos, Vasco M. Manquinho: Learning Techniques for Pseudo-Boolean Solving. LPAR Workshops 2008
18	EE	João Marques-Silva, Vasco M. Manquinho: Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. SAT 2008: 225-230
17	EE	Inês Lynce, Vasco M. Manquinho, João Marques-Silva: Backtracking. Wiley Encyclopedia of Computer Science and Engineering 2008
16	EE	João Marques-Silva, Inês Lynce, Vasco M. Manquinho: Symmetry Breaking for Maximum Satisfiability CoRR abs/0804.0599: (2008)
15	EE	Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li: Guest Editors Conclusion. JSAT 4(2-4): (2008)
	2006
14	EE	António Morgado, Paulo J. Matos, Vasco M. Manquinho, João P. Marques Silva: Counting Models in Integer Domains. SAT 2006: 410-423
13	EE	Vasco M. Manquinho, Olivier Roussel: The First Evaluation of Pseudo-Boolean Solvers (PB'05). JSAT 2(1-4): 103-143 (2006)
12	EE	Vasco M. Manquinho, João P. Marques Silva: On Using Cutting Planes in Pseudo-Boolean Optimization. JSAT 2(1-4): 209-219 (2006)
	2005
11	EE	Vasco M. Manquinho, João P. Marques Silva: Effective Lower Bounding Techniques for Pseudo-Boolean Optimization. DATE 2005: 660-665
10	EE	Vasco M. Manquinho, João P. Marques Silva: Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts. ICTAI 2005: 150-155
9	EE	Vasco M. Manquinho, João P. Marques Silva: On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. SAT 2005: 451-458
	2004
8	EE	Vasco M. Manquinho, João P. Marques Silva: Integration of Lower Bound Estimates in Pseudo-Boolean Optimization. ICTAI 2004: 742-748
7	EE	Vasco M. Manquinho, João P. Marques Silva: Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization. SAT 2004
6	EE	Vasco M. Manquinho, João P. Marques Silva: Satisfiability-Based Algorithms for Boolean Optimization. Ann. Math. Artif. Intell. 40(3-4): 353-372 (2004)
	2002
5	EE	Vasco M. Manquinho, João P. Marques Silva: Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem. IEEE Trans. on CAD of Integrated Circuits and Systems 21(5): 505-516 (2002)
	2000
4	EE	Vasco M. Manquinho, João P. Marques Silva: On Solving Boolean Optimization with Satisfiability-Based Algorithms. AMAI 2000
3	EE	Vasco M. Manquinho, João P. Marques Silva: On Using Satisfiability-Based Pruning Techniques in Covering Algorithms. DATE 2000: 356-363
2		Vasco M. Manquinho, João P. Marques Silva: Search Pruning Conditions for Boolean Optimization. ECAI 2000: 103-107
	1997
1	EE	Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira: Prime Implicant Computation Using Satisfiability Algorithms. ICTAI 1997: 232-239

Coauthor Index

1	João Delgado	[25]
2	Paulo F. Flores	[1]
3	Federico Heras	[21]
4	Chu Min Li	[15]
5	Inês Lynce	[16] [17] [20] [25]
6	Paulo J. Matos	[14]
7	António Morgado	[14]
8	Arlindo L. Oliveira	[1]
9	Jordi Planes	[22] [24]
10	Olivier Roussel	[13] [23]
11	José Santos	[19]
12	João P. Marques Silva (João Marques-Silva)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [16] [17] [18] [20] [21] [22] [24]
13	Ewald Speckenmeyer	[15]
14	Armando Tacchella	[15]

Colors in the list of coauthors