After several months of research and prototype, I finally found 2 research articles describing the usage of SAT solvers in very similar situations.

经过几个月的研究和原型搭建，我们发现了两篇研究论文不异而同地谈到了SAT求解程序在类似情况下的使用。

youdao

Listing 2 shows how to define a resource with a prototype (per-request) life cycle.

清单2展示了如何使用原型(每个请求)生命周期定义资源。

youdao

The driving forces of some typical trajectories are analyzed. The difference between the numerical simulation result of the virtual prototype and those in ADAMS is less than 2%.

对几个典型轨迹下激励器所需的驱动力进行了数值计算分析，计算结果与基于ADAMS建立的虚拟样机仿真结果相比不超过2%。

youdao

And Radical Entertainment is preparing to launch Prototype 2 across consoles in early 2012.

FORBES: Connect

Top-selling titles this April included Prototype 2, Kinect Star Wars and Call of Duty: Modern Warfare 3.

BBC: Video game sales drop sharply in US

Activision also showcased some other key titles, including Prototype 2 and a new kids game and toy franchise called Skylanders.

FORBES: Connect