Travelled to:1 × China
1 × Italy
1 × Portugal
Collaborated with:J.Larrosa A.Morgado J.Marques-Silva A.Oliveras
Talks about:max (5) sat (4) process (1) weight (1) solver (1) search (1) improv (1) binari (1) infer (1) cliqu (1)
Person: Federico Heras
DBLP: Heras:Federico
Contributed to:
201220082007Wrote 3 papers:
- SAT-2012-MorgadoHM #satisfiability
- Improvements to Core-Guided Binary Search for MaxSAT (AM, FH, JMS), pp. 284–297.
- SAT-2008-HerasL #clique #preprocessor #satisfiability
- A Max-SAT Inference-Based Pre-processing for Max-Clique (FH, JL), pp. 139–152.
- SAT-2007-HerasLO #named #satisfiability
- MiniMaxSat: A New Weighted Max-SAT Solver (FH, JL, AO), pp. 41–55.