

Fco. Javier Larrosa Bondia
Associate Professor
Contact:
larrosa"at"lsi"dot"upc"dot"edu
I'm a member of TxT
(Tecnologia per a tothom)
"Education is an admirable thing, but
it
is well to remember from time to time that nothing that is worth
knowing
can be tought"
Oscar Wilde
Solver
Competitions:
- First Probabilistic Inference
Evaluation (UAI-2008): Toulbar
was the best performing solver in the MPE
track
- Third International CSP Solver
Competition (CP-2008):
- Second International CSP Solver
Competition (CP-2006): Toolbar
was the best performing solver in the Max-CSP
(extentional constraints) track.
- Third Max-SAT evaluation
(SAT-2008): MiniMaxSat
was the best performing solver in the industrial weighted partial
max-SAT track.
- Second Max-SAT evaluation
(SAT-2007): MiniMaxSat
was the best performing solver in the weighted and unweighted partial
max-SAT track.
Profesional DATA:
Useful links
- A web page devoted to Weighted Constraint Satisfaction Problems (SoftCSP)
- A repository for CSP problems (csplib)
Ph.D. Students
- Marti Sànchez Fibla (Ph.D. defended in 2006)
- Federico Heras Viaga (Ph.D. defended in 2008)
- Emma Rollón Rico (Ph.D. defended in 2008)