位置：成果数据库 > 会议 > 会议详情页
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems
  • 所属机构名称：东北师范大学
  • 会议名称：AAAI
  • 成果类型：会议
  • 相关项目：开放式规划研究
作者： Minghao Yin| Jian Gao|Junping Zhou|
同会议论文项目
开放式规划研究
期刊论文 48 会议论文 6
同项目会议论文
On the Discovery and Utility of Precedence Constraints in Temporal Planning
Exact Phase Transitions and Approximate Algorithm of #CSP
Phase Transitions in Knowledge Compilation: An Experimental Study
New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as Parameter
An effective GSA based memetic algorithm for permutation flow shop scheduling