Æȷοì
Javier Larrosa
Javier Larrosa
Professor of Computer Science, Universitat Politecnica de Catalunya
cs.upc.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20