IB-Net: Initiales Filialnetz für variable Entscheidungen in boolescher Erfüllbarkeit