PPlan

swMATH20685MaRDI QIDQ32502FDOQ32502

Author name not available (Why is that?)

Described by source

• Specifying and computing preferred plans

Cited In (1)

• SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking

This page was built for software: PPlan