Optimization and computational logic

Cite this paper

@inproceedings{McAloon1996OptimizationAC, title={Optimization and computational logic}, author={Kenneth McAloon and Carol Tretkoff}, booktitle={Wiley-Interscience series in discrete mathematics and optimization}, year={1996} }