Enumeration Strategies in Constraint Programming for Solving Puzzles

机译：求解谜题约束规则的枚举策略

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Constraint programming is one of the major contributions of computer science for solving problems of high complexity. This paradigm is used to represent a wide variety of problems that can be modeled like constraint satisfaction problems and solving them

机译：约束编程是计算机科学解决高复杂性问题的主要贡献之一。此范例用于表示可以建模的各种问题，如约束满足问题并解决它们

著录项

来源
《Electronics, Robotics and Automotive Mechanics Conference》|2007年||共6页
会议地点
作者
Crawford B.; Aranda M.; Castro C.; Monfroy E.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TN-53;
关键词
constraint handling; constraint theory; mathematics computing; optimisation; combinatorial problem; computer science; constraint enumeration; constraint programming; constraint propagation; constraint satisfaction problems; puzzles solving; value selection heuristi;

机译：约束理论;数学计算;优化;组合问题;计算机科学;约束规划;约束传播;约束满足问题;拼图解决;价值选择heuriSti;

相似文献

外文文献
中文文献
专利

1. Puzzle—Solving the n-Fractions Puzzle as a Constraint Programming Problem [J] . Arnaud Malapert, Julien Provillard INFORMS Transactions on Education . 2018,第1期

机译：难题—解决n分形难题作为约束编程问题
2. A hybrid constraint programming and enumeration approach for solving NHL playoff qualification and elimination problems [J] . Russell T., Van Beek P. European Journal of Operational Research . 2012,第3期

机译：解决NHL季后赛资格和淘汰问题的混合约束编程和枚举方法
3. Dynamic Selection of Enumeration Strategies for Solving Constraint Satisfaction Problems [J] . Broderick CRAWFORD, Carlos CASTRO, Eric MONFROY, Romanian journal of information science and technology . 2012,第2期

机译：解决约束满足问题的枚举策略的动态选择
4. Enumeration Strategies in Constraint Programming for Solving Puzzles [C] . Crawford, B., Aranda, Electronics, Robotics and Automotive Mechanics Conference 2007 . 2007

机译：解决难题的约束编程中的枚举策略
5. Using integer programming and constraint programming to solve sports scheduling problems. [D] . Easton, Kelly King. 2003

机译：使用整数规划和约束规划来解决运动调度问题。
6. Conic Sampling: An Efficient Method for Solving Linear and Quadratic Programming by Randomly Linking Constraints within the Interior [O] . Oliver Serang -1

机译：圆锥取样：由内部随机链接约束求解线性和二次规划的有效方法
7. Constraint lingo: A program for solving logic puzzles and other tabular constraint problems [O] . Raphael Finkel, Victor W. Marek, Miros Law Truszczynski 2015

机译：约束术语：用于解决逻辑谜题和其他表格约束问题的程序
8. A CONSTRAINTS SHIFTING ENUMERATIVE ALGORITHM FOR INTEGER PROGRAMMING. [R] . nghiem,ph. tuan 1970

机译：一种用于整数规划的约束移位算法。

Enumeration Strategies in Constraint Programming for Solving Puzzles

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅