Proofs of unsatisfiability via semidefinite programming
Miguel F. Anjos
| Year of publication: |
2004
|
|---|---|
| Authors: | Anjos, Miguel F. |
| Published in: |
Operations research proceedings 2003 : selected papers of the International Conference on Operations Research (OR 2003), Heidelberg, September 3 - 5, 2003 ; with 51 tables. - Berlin : Springer, ISBN 3-540-21445-3. - 2004, p. 308-315
|
| Subject: | Mathematische Optimierung | Mathematical programming | Theorie | Theory |
| Type of publication: | Article |
|---|---|
| Language: | English |
| Notes: | Literaturangaben |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10002097745