Effective bounding techniques for solving unate and binate covering problems