A Symbolic Approach to the Solution of F-Classification Problems