Options
On verifed computation in combinatorial optimization
Publikationstyp
Conference Paper
Publikationsdatum
2005
Sprache
English
Author
Institut
TORE-URI
Start Page
714
End Page
717
Citation
NOLTA 2005 International Symposium on Nonlinear Theory and its Applications: 714–717 (2005)
Contribution to Conference
DDC Class
004: Informatik
510: Mathematik