Projektthemen

• Multiplikation, Faktorisierung (SAT-Encoding)
• (max,plus)-Gleichungssysteme (SMT/Ungl.)
• http://www.morpionsolitaire.com/
• (End-)Spiele als QBF
• Constraint-Solver im Suse-Paketmanager
• Puzzles von http://janko.at/ z. B.:
  • http://www.janko.at/Raetsel/Nonogramme/
  • http://www.janko.at/Raetsel/Zeltlager/
  (Lösen und Generieren)
• Optimizer-Puzzles http://www.logic-masters.de///OM2009/seiten/anleitung.php
• ,,ernsthafte Optimierungs-Aufgaben``, Leistungsvergleich mit evol. Algorithmen.