Techniques for solving Boolean equation systems