Author:Leenen, L; Terlunen, ADate:Nov 2013The Military Unit Path Finding Problem (MUPFP) is the problem of finding a path from a starting point to a destination where a military unit has to move, or be moved, safely whilst avoiding threats and obstacles and minimising path cost in ...Read more
Author:Stevenson, L; Britz, AA; Home, TDate:Dec 2008The modal satisfiability problem is solved either by using a specifically designed algorith, or by translating the modal logic formula into an instance of a different class of problem, or, more recently, a constraint satisfaction problem. In ...Read more