refactored bool_mat utility functions and added DCP section to README