1285922153 Source: pw-myciel4.lp File: upload/01.10.2010_1285922153_Arie_Koster/pw-myciel4.lp Name: Arie_Koster Company: RWTH Aachen University eMail: koster@math2.rwth-aachen.de Street: Wüllnerstr. 5b City: Aachen Country: GERMANY (DE) Message: ILP to compute the pathwidth of the Mycielski-4 graph. Since the pathwidth is at least the treewidth, we know that the pathwidth equals 10, but the ILP has a hard time to prove this. delivered on: 01.10.2010 Fileupload successfully confirmed!