arrow
返回

Accelerating filtering techniques for numeric CSPs

delete2002-07-01
delete15
delete
OA
AI
Y
Yahia Lebbah
O
Olivier Lhomme
DOI:10.1016/S0004-3702(02)00194-7delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper(1) we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis. (C) 2002 Elsevier Science B.V. All rights reserved.
Keyword:
numeric constraint satisfaction problem
filtering techniques
propagation
pruning
acceleration methods
nonlinear equations
interval arithmetic
interval analysis
strong consistency
extrapolation methods
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Artificial Intelligence Review 封面图
Artificial Intelligence Review
IF:
13.9
论文数:
6.1K
被引数:
1.9W

机构

暂无机构信息
引用论文

引用论文

Two clocks in the brain
err2012-01-01
err0
PREAI
errTaishi Yoshii; Dirk Rieger; Charlotte Helfrich-Förster
err分享
err收藏
Sulfur Reduction Reaction in Lithium–Sulfur Batteries: Mechanisms, Catalysts, and Characterization (Adv. Energy Mater. 44/2022)
err2022-11-24
err0
PREAI
errLei Zhou; Dmitri L. Danilov; Fen Qiao; Junfeng Wang; Haitao Li; Rüdiger‐A. Eichel; Peter H. L. Notten
err分享
err收藏
err分享
err收藏
Growth and nutritional disorders of coffee cultivated in nutrient solutions with suppressed macronutrients
err2016-05-09
err0
errOAAI
errRilner Alves Flores; Bernardo Melo Montes Nogueira Borges; Hilário Júnior Almeida; Renato De Mello Prado
err分享
err收藏
err分享
err收藏
学者 查看更多内容