![](/img/cover-not-exists.png)
The application of automated reasoning to formal models of combinatorial optimization
Paul Helman, Robert VeroffVolume:
120
Year:
2001
Language:
english
Pages:
20
Journal:
Applied Mathematics and Computation
DOI:
10.1016/s0096-3003(99)00249-0
File:
PDF, 124 KB
english, 2001