Text this: Binary-arithmetic approach to observability checking in state estimation.