Javier Larrosa
Javier Larrosa
Professor of Computer Science, Universitat Politecnica de Catalunya
Verified email at lsi.upc.edu
Title
Cited by
Cited by
Year
Solving weighted CSP by maintaining arc consistency
J Larrosa, T Schiex
Artificial Intelligence 159 (1-2), 1-26, 2004
2412004
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs
S De Givry, F Heras, M Zytnicki, J Larrosa
IJCAI 5, 84-89, 2005
2152005
In the quest of the best form of local consistency for weighted CSP
J Larrosa, T Schiex
IJCAI 3, 239-244, 2003
1932003
Constraint satisfaction algorithms for graph pattern matching
J Larrosa, G Valiente
Mathematical structures in computer science 12 (4), 403, 2002
1692002
MiniMaxSAT: An efficient weighted Max-SAT solver
F Heras, J Larrosa, A Oliveras
Journal of Artificial Intelligence Research 31, 1-32, 2008
1562008
Node and arc consistency in weighted CSP
J Larrosa
AAAI/IAAI, 48-53, 2002
1492002
Maintaining reversible DAC for Max-CSP
J Larrosa, P Meseguer, T Schiex
Artificial Intelligence 107 (1), 149-163, 1999
1371999
A logical approach to efficient Max-SAT solving
J Larrosa, F Heras, S De Givry
Artificial Intelligence 172 (2-3), 204-233, 2008
1182008
Unifying tree decompositions for reasoning in graphical models
K Kask, R Dechter, J Larrosa, A Dechter
Artificial Intelligence 166 (1-2), 165-193, 2005
1172005
Solving Max-SAT as weighted CSP
S De Givry, J Larrosa, P Meseguer, T Schiex
International conference on principles and practice of constraint …, 2003
1162003
On forward checking for non-binary constraint satisfaction
C Bessière, P Meseguer, EC Freuder, J Larrosa
Artificial Intelligence 141 (1-2), 205-224, 2002
1122002
On forward checking for non-binary constraint satisfaction
C Bessière, P Meseguer, EC Freuder, J Larrosa
International Conference on Principles and Practice of Constraint …, 1999
951999
MiniMaxSat: A new weighted Max-SAT solver
F Heras, J Larrosa, A Oliveras
International Conference on Theory and Applications of Satisfiability …, 2007
922007
Bucket elimination for multiobjective optimization problems
E Rollón, J Larrosa
Journal of Heuristics 12 (4-5), 307-328, 2006
752006
Resolution in Max-SAT and its relation to local consistency in weighted CSPs
J Larrosa, F Heras
IJCAI 5, 193-198, 2005
732005
Exploiting the use of DAC in Max-CSP
J Larrosa, P Meseguer
International Conference on Principles and Practice of Constraint …, 1996
691996
Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
J Larrosa, R Dechter
Constraints 8 (3), 303-326, 2003
662003
Boosting search with variable elimination
J Larrosa
International Conference on Principles and Practice of Constraint …, 2000
592000
New inference rules for efficient Max-SAT solving
F Heras, J Larrosa
AAAI, 68-73, 2006
582006
A general scheme for multiple lower bound computation in constraint optimization
R Dechter, K Kask, J Larrosa
International Conference on Principles and Practice of Constraint …, 2001
522001
The system can't perform the operation now. Try again later.
Articles 1–20