The following pages link to Vasco M. Manquinho (Q1430294):
Displayed 22 items.
- (Q487634) (redirect page) (← links)
- An overview of parallel SAT solving (Q487635) (← links)
- Satisfiability-based algorithms for Boolean optimization (Q1430296) (← links)
- Introducing Pareto minimal correction subsets (Q1680256) (← links)
- Stable states of Boolean regulatory networks composed over hexagonal grids (Q2130578) (← links)
- Exact hypervolume subset selection through incremental computations (Q2669566) (← links)
- Constraint-based electoral districting using a new compactness measure: an application to Portugal (Q2676289) (← links)
- (Q2786910) (← links)
- Inferring phylogenetic trees using pseudo-Boolean optimization (Q2811226) (← links)
- Open-WBO: A Modular MaxSAT Solver, (Q3192090) (← links)
- (Q3429158) (← links)
- (Q3429164) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← links)
- Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms (Q3502710) (← links)
- Algorithms for Weighted Boolean Optimization (Q3637182) (← links)
- Improving Unsatisfiability-Based Algorithms for Boolean Optimization (Q4930588) (← links)
- On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving (Q5015594) (← links)
- (Q5283008) (← links)
- Community-Based Partitioning for MaxSAT Solving (Q5326461) (← links)
- Symmetry Breaking for Maximum Satisfiability (Q5505539) (← links)
- Theory and Applications of Satisfiability Testing (Q5713742) (← links)
- Counting Models in Integer Domains (Q5756568) (← links)