BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Larrosa:Javier

Contributed to:

SAC 20132013
SAT 20092009
ICLP 20082008
SAT 20082008
SAT 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.