Boolean methods in operations research and related areas