Vasco Manquinho

Available identifiers

zbMath Open manquinho.vasco-mMaRDI QIDQ1430294

List of research outcomes

Publication	Date of Publication	Type
UpMax: user partitioning for MaxSAT	2024-11-26	Paper
SAT-based leximax optimisation algorithms	2024-07-12	Paper
New core-guided and hitting set algorithms for multi-objective combinatorial optimization	2024-04-05	Paper
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
PackUp: tools for package upgradability solving	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
On using cutting planes in pseudo-Boolean optimization	2007-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3429158	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

This page was built for person: Vasco Manquinho