Fco. Javier Larrosa Bondia

Associate Professor

"Education is an admirable thing, but it is well to remember from time to time that nothing that is worth knowing can be tought"

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

• 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:

•  Publications
•  Research Related Activities

• 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