The ASP problem described in the OP is just such an example. Are you perhaps not convinced that it represents an aspect of important real-world problems?
The ASP problem described in the OP is just such an example. Are you perhaps not convinced that it represents an aspect of important real-world problems?