Algorithms for Analysis, Inference, and Control of Boolean Networks