The International Competition on Knowledge Engineering for Planning and Scheduling has been running since 2005 as a biennial event promoting the development and importance of the use of knowledge engineering methods and techniques within Planning and Scheduling.

The aim of the unsolvability IPC is to test the ability of classical automated planners to detect when a planning task has no solution. The benchmarks used in the track will contain a mix of solvable and unsolvable instances, and points will only be awarded for correctly identifying the unsolvable instances.