Folgen
Javier Larrosa
Javier Larrosa
Professor of Computer Science, Universitat Politecnica de Catalunya
Bestätigte E-Mail-Adresse bei cs.upc.edu
Titel
Zitiert von
Zitiert von
Jahr
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
2362005
In the quest of the best form of local consistency for weighted CSP
J Larrosa, T Schiex
IJCAI 3, 239-244, 2003
2182003
Constraint satisfaction algorithms for graph pattern matching
J Larrosa, G Valiente
Mathematical structures in computer science 12 (4), 403-422, 2002
1992002
MiniMaxSAT: An efficient weighted Max-SAT solver
F Heras, J Larrosa, A Oliveras
Journal of Artificial Intelligence Research 31, 1-32, 2008
1832008
Node and arc consistency in weighted CSP
J Larrosa
AAAI/IAAI, 48-53, 2002
1652002
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
1342008
Unifying tree decompositions for reasoning in graphical models
K Kask, R Dechter, J Larrosa, A Dechter
Artificial Intelligence 166 (1-2), 165-193, 2005
1322005
Solving Max-SAT as weighted CSP
S De Givry, J Larrosa, P Meseguer, T Schiex
International conference on principles and practice of constraint …, 2003
1252003
On forward checking for non-binary constraint satisfaction
C Bessiere, P Meseguer, EC Freuder, J Larrosa
Artificial Intelligence 141 (1-2), 205-224, 2002
1212002
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
971999
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
682003
Boosting search with variable elimination
J Larrosa
International Conference on Principles and Practice of Constraint …, 2000
652000
New inference rules for efficient Max-SAT solving
F Heras, J Larrosa
AAAI, 68-73, 2006
632006
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
522001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20