机译:一致的计划作为增量QBF解决方案的案例研究
Institute of Information Systems, TU Wien;
Institute of Information Systems, TU Wien;
Institute of Information Systems, TU Wien;
Institute of Information Systems, TU Wien,School of Economic Disciplines, University of Siegen;
Quantified Boolean formulas (QBFs); Conformant planning; Incremental solving; Preprocessing; Blocked clause elimination;
机译:CPCES:通过一个强调引导改进来解决符合规划问题的规划框架
机译:QBFRelay,QRATPre +和DepQBF:增量预处理满足基于搜索的QBF解决方案
机译:增量计划以控制时间受限制的基于黑板的问题解决器(车辆监控)
机译:符合规划作为增量QBF解决方案的案例研究
机译:增量规划在社区发展中的作用:北端住房项目(曼尼托巴)的案例研究。
机译:视觉损失问题解决培训中的问题解决和未来计划的翻译研究
机译:一致的计划作为增量QBF解决方案的案例研究
机译:增量计划以控制基于黑板的问题解决者