Robust planning with incomplete domain models
The complexity of computing the permanent