400 search results - page 18 / 80 » Backtracking |
AIM
2002
13 years 9 months ago
2002
AMAI
2002
Springer
13 years 9 months ago
2002
Springer
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
CORR
2000
Springer
13 years 9 months ago
2000
Springer
SIGART
2000
13 years 9 months ago
2000
CG
2011
Springer
13 years 1 months ago
2011
Springer
Inverse kinematics is the problem of manipulating the pose of an articulated figure in order to achieve a desired goal disregarding inertia and forces. One can approach the probl...