( en | de | ru )

 

Disambiguation of "Meseguer, Pedro"

Author of the publication

copydeleteadd this publication to your clipboard
Connecting ABT with a SAT Solver.

, , and . STAIRS, volume 284 of Frontiers in Artificial Intelligence and Applications, page 179-184. IOS Press, (2016)

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.

Benno Pedrotti

Mario Pedroso

Luicy Pedroza Espinoza

Claudia Pedroni

Francisco Pedrosa Gil

 

Other publications of authors with the same name

Privacy in Distributed Meeting Scheduling., and . CCIA, volume 184 of Frontiers in Artificial Intelligence and Applications, page 118-127. IOS Press, (2008)Improving the Applicability of Adaptive Consistency: Preliminary Results., , and . CP, volume 3258 of Lecture Notes in Computer Science, page 757-761. Springer, (2004)BnB-ADOPT+ with Several Soft Arc Consistency Levels., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 67-72. IOS Press, (2010)Partition-Based Lower Bound for Max-CSP., and . CP, volume 1713 of Lecture Notes in Computer Science, page 303-315. Springer, (1999)Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry., and . CP, volume 7514 of Lecture Notes in Computer Science, page 1004-1012. Springer, (2012)Lower Bounds for Non-binary Constraint Optimization Problems., , and . CP, volume 2239 of Lecture Notes in Computer Science, page 317-331. Springer, (2001)Constraint Satisfaction as Global Optimization., and . IJCAI (1), page 579-585. Morgan Kaufmann, (1995)Interleaved and Discrepancy Based Search., and . ECAI, page 239-243. John Wiley and Sons, (1998)Improving ABT Performance by Adding Synchronization Points., and . CSCLP, volume 5129 of Lecture Notes in Computer Science, page 47-61. Springer, (2007)Distributed Stable Matching Problems with Ties and Incomplete Lists., and . CP, volume 4204 of Lecture Notes in Computer Science, page 675-679. Springer, (2006)