On the computation of fixed points in Boolean networks