Jansson, ChristianChristianJansson2021-02-022021-02-022005NOLTA 2005 International Symposium on Nonlinear Theory and its Applications: 714–717 (2005)http://hdl.handle.net/11420/8665enInformatikMathematikOn verifed computation in combinatorial optimizationConference PaperOther