Add docs describing clp-based algorithms for warning detection