Abstract: Hybridization of CP and SAT combines the strengths of both paradigms, Constraint Programming (CP) and the Boolean satisfiability problem (SAT). This hybridization allows for the use of ...
Human multirobot interaction enables humans to work in a shared workspace with multiple robots that conduct cooperative tasks such as cotransporting a rigid object. To guarantee human safety, each ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results