Boolean Methods in Operations Research and Related Areas