Exercises on reductions to SAT

  1. Worker selection
  2. N queens
  3. Sudoku
  4. Committee
  5. Sequence matching
  6. Network alignment
  7. Network alignment 2
  8. DNA sequence alignment
  9. Flight simulation
  10. Ukelele song
  11. Grid exploration
  12. Grid exploration 2
  13. Train schedules
  14. Tetris
  15. Judging exercises on CFGs

Extra list of exercises

These problems are from the Logic in Information Technology (LI) subject at Barcelona School of Informatics (FIB).
  1. Steel mill planification
  2. Surrounding numbers
  3. Sports league
  4. College schedules
  5. Flow