Pedro Meseguer
Pedro Meseguer
Researcher, IIIA - CSIC
Verified email at iiia.csic.es
TitleCited byYear
Constraint satisfaction problems: An overview
P Meseguer
AI communications 2 (1), 3-17, 1989
1861989
Soft constraints
P Meseguer, F Rossi, T Schiex
Foundations of Artificial Intelligence 2, 281-328, 2006
1612006
Asynchronous backtracking without adding links: a new member in the ABT family
C Bessière, A Maestre, I Brito, P Meseguer
Artificial Intelligence 161 (1-2), 7-24, 2005
1582005
Maintaining reversible DAC for Max-CSP
J Larrosa, P Meseguer, T Schiex
Artificial Intelligence 107 (1), 149-163, 1999
1391999
Solving Max-SAT as weighted CSP
S De Givry, J Larrosa, P Meseguer, T Schiex
Principles and Practice of Constraint Programming–CP 2003, 363-376, 2003
1122003
On forward checking for non-binary constraint satisfaction
C Bessière, P Meseguer, EC Freuder, J Larrosa
Artificial Intelligence 141 (1-2), 205-224, 2002
1122002
Distributed dynamic backtracking
C Bessière, A Maestre, P Meseguer
Lecture notes in computer science 2239, 772-772, 2001
1072001
Exploiting symmetries within constraint satisfaction search
P Meseguer, C Torras
Artificial intelligence 129 (1-2), 133-163, 2001
1062001
On forward checking for non-binary constraint satisfaction
C Bessière, P Meseguer, E Freuder, J Larrosa
Principles and Practice of Constraint Programming–CP’99, 88-102, 1999
911999
Interleaved depth-first search
P Meseguer
International Joint Conference on Artificial Intelligence 15, 1382-1387, 1997
861997
Exploiting the use of DAC in Max-CSP
J Larrosa, P Meseguer
Principles and Practice of Constraint Programming—CP96, 308-322, 1996
681996
Knowledge based systems validation: A state of the art
B Lopez, P Meseguer, E Plaza
AI Communications 3 (2), 58-72, 1990
601990
A new method to checking rule bases for inconsistency: a Petri net approach
P Meseguer
Proceedings ECAI 90, 437-442, 1990
571990
A new method to checking rule bases for inconsistencies: A Petri net approach
P Meseguer
European Conference on Artificial Intelligence, ECAI 90, 437-442, 0
57*
VVT terminology: a proposal
T Hoppe, P Meseguer
IEEE Expert 8 (3), 48-55, 1993
541993
LRTA*(k)
C Hernández, P Meseguer
Proceedings of the 19th international joint conference on Artificial …, 2005
512005
Synchronous, asynchronous and hybrid algorithms for DisCSP
I Brito, P Meseguer
Lecture Notes in Computer Science, 791-791, 2004
502004
Incremental verification of rule-based expert systems
P Meseguer
Proceedings of the 10th European conference on Artificial intelligence, 840-844, 1992
501992
Partition-based lower bound for max-csp
J Larrosa, P Meseguer
Principles and Practice of Constraint Programming–CP’99, 303-315, 1999
481999
Distributed forward checking
P Meseguer, MA Jimenez
Proceedings of CP-00 Workshop on Distributed Constraint Satisfaction 387 …, 2000
462000
The system can't perform the operation now. Try again later.
Articles 1–20