Lecture "Advanced C Programming WS08/09" - Exercises

Exercises

• Exercise sheet 1 [PDF] Submit your solution on paper during the lecture on tuesday, October 28th.
• Exercise sheet 2 [PDF]
  • DIMACS Testfile 1 [CNF]
  • DIMACS Testfile 2 [CNF]
  • DIMACS Testfile 3 [CNF]
  • DIMACS Testfile 4 [CNF]
  • DIMACS Testfile 5 [CNF]
  • DIMACS Testfile 6 [CNF]
• Exercise sheet 3 [PDF]
• Exercise sheet 4 [PDF]
• Exercise sheet 5 [PDF]
• test-files.tgz [TGZ]
• Exercise sheet 6 [PDF]
  • test.tar.bz2 [BZ2]
  • pbqp-solver.tar.bz2 [BZ2]
• Exercise sheet 7 [PDF]
  • Example SAT Solver [TGZ]
• Exercise sheet 8 [PDF]
• Memory Module [TGZ]
• here you can find information about a "2 literal watching algorithm" [PDF]
• Exercise sheet 9 [PDF]
• Exercise sheet 10 [PDF]
• test-files.tgz [TGZ]
• Exercise sheet 11 [PDF]

Tutorials

Group 1: Monday 10-12, Tutor: Dirk Heine (Room 021)

Group 2: Tuesday 16-18, Tutor: Stefan Stattelmann (Room 023)

Group 3: Wednesday 12-14, Tutor: Markus Thiele (Room 023)

Group 4: Friday 12-14, Tutor: Markus Thiele (Room 023)

• Advanced C Programming:
• Lecturers
• Start
• When and Where
• Content
• Prerequisites
• Exercises
• Literature
• Registration
• Grading