A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model