400 search results - page 18 / 80 » Backtracking |
AMAI
2002
Springer
14 years 11 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
14 years 11 months ago
2000
Springer
SIGART
2000
14 years 11 months ago
2000
107
click to vote
CG
2011
Springer
14 years 3 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...