

Fco. Javier Larrosa Bondia
Associate Professor
Contact:
larrosa"at"lsi"dot"upc"dot"edu
Barcelogic is my most
ambitious current project
"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:
2008
- First Probabilistic Inference
Evaluation (UAI-2008): Toulbar
was the best performing solver in the MPE
track
- Third International CSP Solver
Competition (CP-2008): Toulbar2
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.
2006-7
- Second Max-SAT evaluation
(SAT-2007): MiniMaxSat
was the best performing solver in the weighted and unweighted partial
max-SAT track.
- Second International CSP Solver
Competition (CP-2006): Toolbar
was the best performing solver in the Max-CSP
(extentional constraints) track.
Scientific DATA:
Useful links
- A web page devoted to Weighted Constraint Satisfaction Problems (SoftCSP)
- A repository for CSP problems (csplib)
- A repository for SAT (SAT live)
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)