Optimizing Pred(25) Is NP-Hard

Studies in Systems, Decision and Control - Switzerland
doi 10.1007/978-3-319-61753-4_5