Using Logic in the Search for Supreme Values

- -