Publication:6545568: Difference between revisions
From MaRDI portal
Publication:6545568
Created automatically from import250213030230 |
(No difference)
|
Latest revision as of 16:31, 13 February 2025
DOI10.1007/978-3-031-43619-2_41MaRDI QIDQ6545568FDOQ6545568
Saurabh Fadnis, Jussi Rintanen
Publication date: 29 May 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
- Contingent planning under uncertainty via stochastic satisfiability
- Computational complexity of planning and approximate planning in the presence of incompleteness
- A generic approach to planning in the presence of incomplete information: theory and implementation
This page was built for publication: Planning with partial observability by SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545568)
