第条

对称存在下的回溯搜索

作者:

辛西娅A。棕色,

拉里芬克尔斯坦,

保罗·沃尔顿 Purdom公司，Jr.（小）。作者信息和声明

AAECC-6：第六届应用代数、代数算法和纠错码国际会议论文集

页99-110

出版:1988年7月4日出版历史

摘要

没有可用的摘要。

引用人

查看全部

Betten A公司(2014)用轨道器对离散物体进行分类计算机代数中的ACM通信10.1145/2576802.257683247:3/4(183-186)在线发布日期：2014年1月28日
https://dl.acm.org/doi/10.1145/2576802.2576832
Betten A公司莫纳根M库珀曼G吉斯布雷希特M(2013)彩虹集团与小BLT集的分类第38届符号与代数计算国际研讨会论文集10.1145/2465506.2465508(53-60)在线发布日期：2013年6月26日
https://dl.acm.org/doi/10.1145/2465506.2465508
曼奇尼T卡多利M(2007)利用声明性问题规范中的函数依赖人工智能2016年10月10日/j.artint.2007.04.017171:16-17(985-1010)在线发布日期：2007年11月1日
https://dl.acm.org/doi/10.1016/j.artint.2007.04.017
显示更多引用者

索引术语

对称存在下的回溯搜索
1. 计算方法
  1. 人工智能
    1. 搜索方法
      1. 离散空间搜索
      2. 游戏树搜索
2. 计算理论
  1. 算法的设计和分析
    1. 算法设计技术
      1. 回溯
    2. 数据结构设计和分析
      1. 排序和搜索

索引项已通过自动分类分配给内容。

建议

对称性存在下的回溯搜索

讨论了一类对称性问题的搜索算法。算法将对称组（以置换组的形式）作为输入，并使用它来避免重复搜索搜索空间的等效部分。对称性。。。
散列、搜索、绘制草图
SAT回溯法中的回溯策略

回溯是一种通过连续扩展部分解的穷举搜索方法。回溯是回溯的一步，当扩展无法深入时会发生回溯。到目前为止，人们已将深度优先回溯策略视为。。。

信息和贡献者

问询处

发布于

AAECC-6:第六届应用代数、代数算法和纠错码国际会议论文集

1988年7月

480页

十亿英镑：3540510834

编辑：
特奥·莫拉

出版商

Springer-Verlag公司

柏林，海德堡

出版历史

出版：1988年7月4日

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

13
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

反映截至2024年9月17日的下载量

其他指标

查看作者指标

引文

引用人

查看全部

Betten A公司(2014)用轨道器对离散物体进行分类计算机代数中的ACM通信10.1145/2576802.257683247:3/4(183-186)在线发布日期：2014年1月28日
https://dl.acm.org/doi/10.1145/2576802.2576832
Betten A公司莫纳根M库珀曼G吉斯布雷奇特M(2013)彩虹集团与小型BLT集合的分类第38届符号与代数计算国际研讨会论文集10.1145/2465506.2465508(53-60)在线发布日期：2013年6月26日
https://dl.acm.org/doi/10.1145/2465506.2465508
曼奇尼TCadoli M公司(2007)利用声明性问题规范中的函数依赖人工智能2016年10月10日/j.artint.2007.04.017171:16-17(985-1010)在线发布日期：2007年11月1日
https://dl.acm.org/doi/10.1016/j.artint.2007.04.017
卡多利M曼奇尼T(2006)通过安全延迟约束自动重新制定规范人工智能10.5555/1644520.1644704170:8-9(779-801)在线发布日期：2006年6月1日
https://dl.acm.org/doi/10.5555/1644520.1644704
塞尔曼MVan Hentenryck P公司(2005)结构对称性破坏第19届国际人工智能联合会议记录10.5555/1642293.1642341(298-303)在线发布日期：2005年7月30日
https://dl.acm.org/doi/10.5555/1642293.1642341
戈德堡E(2005)通过计算稳定点集测试CNF公式的可满足性数学与人工智能年鉴2007年10月10日/10472-004-9420-543:1-4(65-89)在线发布日期：2005年1月1日
https://dl.acm.org/doi/10.1007/s10472-004-9420-5
曼奇尼T卡多利M(2005)基于问题规范推理的对称性检测与破缺第六届抽象、重构和近似国际会议记录10.1007/11527862_12(165-181)在线发布日期：2005年7月26日
https://dl.acm.org/doi/10.1007/111527862_12
狄克逊H金斯伯格M帕克斯A(2004)推广布尔可满足性I人工智能研究杂志10.5555/1622467.162247421:1(193-243)在线发布日期：2004年2月1日
https://dl.acm.org/doi/10.5555/1622467.1622474
Luks E公司罗伊A(2004)对称破缺公式的复杂性数学与人工智能年鉴10.1023/B:AMAI.0000018578.92398.1041:1(19-45)在线发布日期：2004年5月1日
https://dl.acm.org/doi/10.1023/B%3AAMAI.00018578.92398.10
阿洛尔F拉马尼A马尔可夫I萨卡拉K阿克兰B(2002)在存在对称性的情况下解决困难的SAT实例第39届设计自动化年会会议记录10.1145/513918.514102(731-736)在线发布日期：2002年6月10日
https://dl.acm.org/doi/10.1145/513918.514102
显示更多引用者

引用人

索引术语

建议

对称性存在下的回溯搜索

散列、搜索、绘制草图

SAT回溯法中的回溯策略

评论

发布于

出版商

出版历史

限定符

其他指标

文章指标

其他指标

引用人

登录选项

完全访问权限

摘要

引用人

索引术语

建议

对称性存在下的回溯搜索

散列、搜索、绘制草图

SAT回溯法中的回溯策略

评论

问询处

发布于

出版商

出版历史

限定符

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

查看选项

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司