Travelled to:1 × China
1 × Italy
1 × United Kingdom
2 × Portugal
Collaborated with:F.Heras E.Rollon A.Oliveras R.Nieuwenhuis E.Rodríguez-Carbonell S.Bistarelli F.Gadducci
Talks about:max (5) optim (4) sat (3) bound (2) constraint (1) distribut (1) approach (1) process (1) neutral (1) generat (1)
Person: Javier Larrosa
DBLP: Larrosa:Javier
Contributed to:
2013
2009
200820082007Wrote 5 papers:
- SAC-2013-LarrosaR #bound #constraints #distributed #optimisation
- Risk-neutral bounded max-sum for distributed constraint optimization (JL, ER), pp. 92–97.
- SAT-2009-LarrosaNOR #bound #branch #generative #optimisation
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (JL, RN, AO, ERC), pp. 453–466.
- ICLP-2008-BistarelliGLR #approach #multi #optimisation
- A Soft Approach to Multi-objective Optimization (SB, FG, JL, ER), pp. 764–768.
- 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.