Cost-optimal planning using weighted MaxSAT

Citation

Robinson, N, Gretton, C, Pham, D et al. 2010, 'Cost-optimal planning using weighted MaxSAT', Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, COPLAS 2010, Conference Organising Committee, Toronto, ON, pp. 14-22.

Year

2010

Updated:  18 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers