Space- and Time-Efficient BDD Construction via Working Set Control