Section outline

      • Program: Implicit constraints. More complex models. Partitions.
      • Models: golomb