Sure, in that it can’t solve all boolean satisfiability problems. I understood the section as saying “look, these methods don’t apply heuristics and so can spend an inordinate amount of time proving things that are trivial if you use heuristics,” and so gave an example of an optimization method which won’t use an inordinate amount of time to determine infeasibility, and is stronger / more useful than human intuition in the domains where it can be applied.
Sure, in that it can’t solve all boolean satisfiability problems. I understood the section as saying “look, these methods don’t apply heuristics and so can spend an inordinate amount of time proving things that are trivial if you use heuristics,” and so gave an example of an optimization method which won’t use an inordinate amount of time to determine infeasibility, and is stronger / more useful than human intuition in the domains where it can be applied.