Solving set constraint satisfaction problems using ROBDDs

被引：0

作者：

Hawkins, Peter ^{[1
]}

Lagoon, Vitaly ^{[1
]}

Stuckey, Peter J. ^{[2
]}

机构：

[1] Department of Computer Science and Software Engineering, University of Melbourne, Vic. 3010, Australia

[2] NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, Vic. 3010, Australia

来源：

Journal of Artificial Intelligence Research | 1600年 / 24卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：109 / 156