Seguir
Javier Larrosa
Javier Larrosa
Professor of Computer Science, Universitat Politecnica de Catalunya
Dirección de correo verificada de cs.upc.edu
Título
Citado por
Citado por
Año
Solving weighted CSP by maintaining arc consistency
J Larrosa, T Schiex
Artificial Intelligence 159 (1-2), 1-26, 2004
2592004
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
2352005
In the quest of the best form of local consistency for weighted CSP
J Larrosa, T Schiex
IJCAI 3, 239-244, 2003
2172003
Constraint satisfaction algorithms for graph pattern matching
J Larrosa, G Valiente
Mathematical structures in computer science 12 (4), 403-422, 2002
2012002
MiniMaxSAT: An efficient weighted Max-SAT solver
F Heras, J Larrosa, A Oliveras
Journal of Artificial Intelligence Research 31, 1-32, 2008
1822008
Node and arc consistency in weighted CSP
J Larrosa
AAAI/IAAI, 48-53, 2002
1632002
Maintaining reversible DAC for Max-CSP
J Larrosa, P Meseguer, T Schiex
Artificial Intelligence 107 (1), 149-163, 1999
1381999
A logical approach to efficient Max-SAT solving
J Larrosa, F Heras, S De Givry
Artificial Intelligence 172 (2-3), 204-233, 2008
1362008
Unifying tree decompositions for reasoning in graphical models
K Kask, R Dechter, J Larrosa, A Dechter
Artificial Intelligence 166 (1-2), 165-193, 2005
1302005
Solving Max-SAT as weighted CSP
S De Givry, J Larrosa, P Meseguer, T Schiex
International conference on principles and practice of constraint …, 2003
1262003
On forward checking for non-binary constraint satisfaction
C Bessiere, P Meseguer, EC Freuder, J Larrosa
Artificial Intelligence 141 (1-2), 205-224, 2002
1232002
MiniMaxSat: A new weighted Max-SAT solver
F Heras, J Larrosa, A Oliveras
International Conference on Theory and Applications of Satisfiability …, 2007
1102007
On forward checking for non-binary constraint satisfaction
C Bessiere, P Meseguer, EC Freuder, J Larrosa
International Conference on Principles and Practice of Constraint …, 1999
981999
Resolution in Max-SAT and its relation to local consistency in weighted CSPs
J Larrosa, F Heras
IJCAI 5, 193-198, 2005
952005
Bucket elimination for multiobjective optimization problems
E Rollón, J Larrosa
Journal of Heuristics 12, 307-328, 2006
862006
Exploiting the use of DAC in Max-CSP
J Larrosa, P Meseguer
Principles and Practice of Constraint Programming—CP96: Second …, 1996
721996
Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
J Larrosa, R Dechter
Constraints 8, 303-326, 2003
692003
New inference rules for efficient Max-SAT solving
F Heras, J Larrosa
AAAI, 68-73, 2006
632006
Boosting search with variable elimination
J Larrosa
International Conference on Principles and Practice of Constraint …, 2000
632000
A general scheme for multiple lower bound computation in constraint optimization
R Dechter, K Kask, J Larrosa
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
532001
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20