Vasco Manquinho

From MaRDI portal
Person:1430294

Available identifiers

zbMath Open manquinho.vasco-mMaRDI QIDQ1430294

List of research outcomes





PublicationDate of PublicationType
UpMax: user partitioning for MaxSAT2024-11-26Paper
SAT-based leximax optimisation algorithms2024-07-12Paper
New core-guided and hitting set algorithms for multi-objective combinatorial optimization2024-04-05Paper
Constraint-based electoral districting using a new compactness measure: an application to Portugal2022-09-27Paper
Stable states of Boolean regulatory networks composed over hexagonal grids2022-04-25Paper
Exact hypervolume subset selection through incremental computations2022-03-09Paper
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving2021-12-09Paper
Introducing Pareto minimal correction subsets2017-11-15Paper
https://portal.mardi4nfdi.de/entity/Q52830082017-07-18Paper
Inferring phylogenetic trees using pseudo-Boolean optimization2016-06-10Paper
PackUp: tools for package upgradability solving2016-02-23Paper
Exploiting Resolution-Based Representations for MaxSAT Solving2015-11-20Paper
An overview of parallel SAT solving2015-01-22Paper
Open-WBO: A Modular MaxSAT Solver,2014-09-26Paper
Community-Based Partitioning for MaxSAT Solving2013-08-05Paper
Improving Unsatisfiability-Based Algorithms for Boolean Optimization2010-09-29Paper
Algorithms for Weighted Boolean Optimization2009-07-07Paper
Symmetry Breaking for Maximum Satisfiability2009-01-27Paper
Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms2008-05-27Paper
Counting Models in Integer Domains2007-09-04Paper
On using cutting planes in pseudo-Boolean optimization2007-03-30Paper
https://portal.mardi4nfdi.de/entity/Q34291582007-03-30Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper
Satisfiability-based algorithms for Boolean optimization2004-05-27Paper

Research outcomes over time

This page was built for person: Vasco Manquinho