Extracting mutual exclusion invariants from lifted temporal planning domains
Sara Bernardini‚ Fabio Fagnani and David E. Smith
Journal
Artif. Intell.
Pages
1–65
Volume
258
Year
2018
Sara Bernardini‚ Fabio Fagnani and David E. Smith