Algorithms For Analysis, Inference, And Control Of Boolean Networks