Meseguer, Pedro

13 publications

JAIR 2012 Removing Redundant Messages in N-Ary BnB-ADOPT Patricia Gutierrez, Pedro Meseguer

IJCAI 2011 Distributed Constraint Optimization Problems Related with Soft Arc Consistency Patricia Gutierrez, Pedro Meseguer

IJCAI 2011 Generalizing ADOPT and BnB-ADOPT Patricia Gutierrez, Pedro Meseguer, William Yeoh

AAAI 2010 Saving Redundant Messages in BnB-ADOPT Patricia Gutierrez, Pedro Meseguer

IJCAI 2007 Improving LRTA*(k) Carlos Hernández, Pedro Meseguer

IJCAI 2005 Improving Tree Decomposition Methods with Function Filtering Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer

IJCAI 2005 LRTA*(k) Carlos Hernández, Pedro Meseguer

IJCAI 1999 Solving Strategies for Highly Symmetric CSPs Pedro Meseguer, Carme Torras

AAAI 1998 Reversible DAC and Other Improvements for Solving Max-CSP Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie

IJCAI 1997 Interleaved Depth-First Search Pedro Meseguer

IJCAI 1995 Constraint Satisfaction as Global Optimization Pedro Meseguer, Javier Larrosa

IJCAI 1993 Expert System Validation Through Knowledge Base Refinement Pedro Meseguer

AAAI 1991 Verification of Multi-Level Rule-Based Expert Systems Pedro Meseguer