Loading [a11y]/accessibility-menu.js
Application of propositional satisfiability to special cases of cooperative path-planning | IEEE Conference Publication | IEEE Xplore

Application of propositional satisfiability to special cases of cooperative path-planning


Abstract:

A problem of cooperative path-planning is addressed from the perspective of propositional satisfiability in this paper. Two new encodings of the problem as SAT are propos...Show More

Abstract:

A problem of cooperative path-planning is addressed from the perspective of propositional satisfiability in this paper. Two new encodings of the problem as SAT are proposed and evaluated. Together with the existent solution optimization method which locally improves a sub-optimal solution of the problem through SAT solving, one of the new encodings constitute a state-of-the-art method for cooperative path-planning in highly occupied environments.
Date of Conference: 15-17 July 2012
Date Added to IEEE Xplore: 24 November 2012
ISBN Information:

ISSN Information:

Conference Location: Xi'an, China

References

References is not available for this document.