2015 Fourteenth Mexican International Conference on Artificial Intelligence (MICAI)最新文献

筛选

英文中文

A Recursive Split, Solve, and Join Strategy for Solving Constraint Satisfaction Problems 求解约束满足问题的递归分割、求解和连接策略

2015 Fourteenth Mexican International Conference on Artificial Intelligence (MICAI) Pub Date : 2015-10-25 DOI: 10.1109/MICAI.2015.18

J. C. Ortíz-Bayliss, Dulce Jaqueline Magaña-Lozano, H. Terashima-Marín, S. E. Conant-Pablos

{"title":"A Recursive Split, Solve, and Join Strategy for Solving Constraint Satisfaction Problems","authors":"J. C. Ortíz-Bayliss, Dulce Jaqueline Magaña-Lozano, H. Terashima-Marín, S. E. Conant-Pablos","doi":"10.1109/MICAI.2015.18","DOIUrl":"https://doi.org/10.1109/MICAI.2015.18","url":null,"abstract":"Constraint satisfaction is a recurrent problem found in both industrial and academic environments. The importance of this particular problem relies on the fact that many other problem domains can be represented as constraint satisfaction problems. The instances of this problem are usually difficult to solve due to their combinatorial nature, as they often require an exponential time in the number of variables. Various solving strategies have been proposed to tackle this problem in the past, being the two most important trends local search and backtracking-based methods. In this paper we propose a novel solving strategy that partitions constraint satisfaction instances into smaller ones that can be independently solved and later, uses their solutions to solve the original instance. This process is performed in a recursive fashion, including both a local search-based and a backtracking-based solver. Tests of the proposed approach on a set of benchmark instances taken from public repositories obtained encouraging results with respect to both local search and backtracking-based solvers applied in isolation.","PeriodicalId":448255,"journal":{"name":"2015 Fourteenth Mexican International Conference on Artificial Intelligence (MICAI)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124078540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Change of Behavior on Swarm Robotics Using Repulsion and Attraction 利用斥力和吸引力的群体机器人行为变化

2015 Fourteenth Mexican International Conference on Artificial Intelligence (MICAI) Pub Date : 2015-10-25 DOI: 10.1109/MICAI.2015.32

Mario Aguilera-Ruiz, A. Rodríguez-Liñán, L. Torres-Treviño

引用次数: 1

Extraction System of Characters in Vehicular Plates 车辆车牌字符提取系统

2015 Fourteenth Mexican International Conference on Artificial Intelligence (MICAI) Pub Date : 2015-10-25 DOI: 10.1109/MICAI.2015.14

S. Garcia-Sanchez, J. Olivares-Mercado, G. Sánchez-Pérez, K. Toscano-Medina, H. Meana

引用次数: 1

首页上一页