Reformulation Techniques And Solution Approaches For Fractional 0-1 Programs And Applications