Modification strategies for SAT-based plan adaptation

MaRDI QIDQ3400325zbMATH OpenFDO

Authors Roman P. J. van der Krogt

Publication date 5 February 2010

zbMATH Keywords

plan repairplanning as satisfiability

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25)

Recommendations

• scientific article; zbMATH DE number 1630025
• scientific article; zbMATH DE number 5906473
• SAS+ planning as satisfiability
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
• Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP

Cited in

(3)

• scientific article; zbMATH DE number 1630025 (Why is no real title available?)
• scientific article; zbMATH DE number 1929233 (Why is no real title available?)
• On transformation of conditional, conformant and parallel planning to linear programming

Describes a project that uses

Uses Software

• CPlan
• Siege
• BerkMin

This page was built for publication: Modification strategies for SAT-based plan adaptation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400325)