Department of Computer Science and Engineering Arizona State University, Tempe, AZ 85287-5406;
机译:触及范围计划期间同时对潜在目标的方向和方向进行编码:多个竞争性触及范围计划的证据
机译:基于SAT的对角约束定时自动机的可达性检查
机译:基于MDD的SAT编码,用于伪布尔约束具有大多数关系
机译:调查相关性和可达性限制对规划饱和的影响
机译:法律环境限制对规划过程的影响:对联邦政府管理的土地上拟议的水利开发项目的调查。
机译:对达到和达到抓取运动的神经回路的研究:从计划到执行
机译:对达到和达到抓取运动的神经回路的研究:从计划到执行。