Vasco M. Manquinho

Available identifiers

zbMath Open manquinho.vasco-mMaRDI QIDQ1430294

List of research outcomes

Publication	Date of Publication	Type
Constraint-based electoral districting using a new compactness measure: an application to Portugal	2022-09-27	Paper
Stable states of Boolean regulatory networks composed over hexagonal grids	2022-04-25	Paper
Exact hypervolume subset selection through incremental computations	2022-03-09	Paper
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving	2021-12-09	Paper
Introducing Pareto minimal correction subsets	2017-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q5283008	2017-07-18	Paper
Inferring phylogenetic trees using pseudo-Boolean optimization	2016-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q2786910	2016-02-23	Paper
Exploiting Resolution-Based Representations for MaxSAT Solving	2015-11-20	Paper
An overview of parallel SAT solving	2015-01-22	Paper
Open-WBO: A Modular MaxSAT Solver,	2014-09-26	Paper
Community-Based Partitioning for MaxSAT Solving	2013-08-05	Paper
Improving Unsatisfiability-Based Algorithms for Boolean Optimization	2010-09-29	Paper
Algorithms for Weighted Boolean Optimization	2009-07-07	Paper
Symmetry Breaking for Maximum Satisfiability	2009-01-27	Paper
Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms	2008-05-27	Paper
Counting Models in Integer Domains	2007-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3429158	2007-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3429164	2007-03-30	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Satisfiability-based algorithms for Boolean optimization	2004-05-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vasco M. Manquinho