Planning with multiple resource constraints and an application to a naval planning problem