Improvements to sat-based conformant planning (2001)

by C Castellini, E Giunchiglia, A Tacchella
Venue:In Proceedings of ECP’01