PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Larrosa, Javier"

Author of the publication

copydeleteadd this publication to your clipboard
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs.

, , , and . IJCAI, page 84-89. Professional Book Center, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Javier Aguilar Romero University of Stuttgart

Andres Javier Zeller University of Stuttgart

Javier Andres Carrillo Delcorto University of Stuttgart

 

Other publications of authors with the same name

On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study., , and . J. Artif. Intell. Res., (2005)Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems., and . Constraints, 8 (3): 303-326 (2003)Solving Max-SAT as Weighted CSP., , , and . CP, volume 2833 of Lecture Notes in Computer Science, page 363-376. Springer, (2003)Solving 'Still Life' with Soft Constraints and Bucket Elimination., and . CP, volume 2833 of Lecture Notes in Computer Science, page 466-479. Springer, (2003)New Inference Rules for Efficient Max-SAT Solving., and . AAAI, page 68-73. AAAI Press, (2006)On forward checking for non-binary constraint satisfaction., , , and . Artif. Intell., 141 (1/2): 205-224 (2002)Solving weighted CSP by maintaining arc consistency., and . Artif. Intell., 159 (1-2): 1-26 (2004)Unifying tree decompositions for reasoning in graphical models., , , and . Artif. Intell., 166 (1-2): 165-193 (2005)Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP., and . J. Heuristics, 12 (4-5): 287-306 (2006)MiniMaxSat: A New Weighted Max-SAT Solver., , and . SAT, volume 4501 of Lecture Notes in Computer Science, page 41-55. Springer, (2007)