Verification of Numeric Planning Problems Through Domain Dynamic Consistency

Chapter
Publication Date:
2023
CRIS type:
2.1 Contributo in volume (Capitolo o Saggio)
List of contributors:
Authors of the University:
Handle:
https://iris.unibs.it/handle/11379/574026
Book title:
LECTURE NOTES IN COMPUTER SCIENCE
Published in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series