Partially Grounded Planning as Quantified Boolean Formula
Partially Grounded Planning as Quantified Boolean Formula
复制标题
作为量化布尔公式的部分接地规划
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Cashmore, M
中科院分区：
文献类型：
--
作者：
Cashmore, M
登录
查看更多内容
作为量化布尔公式进行规划
DOI：
10.3233/978-1-61499-098-7-217
发表时间：
2012
期刊：
J. Artif. Intell. Res.
影响因子：
--
作者：
Michael Cashmore;M. Fox;E. Giunchiglia
通讯作者：
E. Giunchiglia
SAS 规划作为可满足性
DOI：
10.1613/jair.3442
发表时间：
2014
期刊：
J. Artif. Intell. Res.
影响因子：
--
作者：
Ruoyun Huang;Yixin Chen;Weixiong Zhang
通讯作者：
Weixiong Zhang
使用动作的分割表示的基于 SAT 的并行规划
DOI：
10.1609/icaps.v19i1.13368
发表时间：
2009
期刊：
Proceedings of the International Conference on Automated Planning and Scheduling
影响因子：
--
作者：
Nathan Robinson;Charles Gretton;D. Pham;A. Sattar
通讯作者：
A. Sattar
第七次 QBF 求解器评估 (QBFEVAL10)
DOI：
10.1007/978-3-642-14186-7_20
发表时间：
2010
期刊：
J. Satisf. Boolean Model. Comput.
影响因子：
--
作者：
Claudia Peschiera;Luca Pulina;A. Tacchella;Uwe Bubeck;O. Kullmann;I. Lynce
通讯作者：
I. Lynce
影响因子：
3.7
作者：
Mangassarian, Hratch;Veneris, Andreas;Benedetti, Marco
通讯作者：
Benedetti, Marco