Wikipedia
Satz
(German for sentence, movement, set, setting) is any single member of a musical piece, which in and of itself displays a complete sense," ( Riemann 1976: 841) such as a sentence, phrase, or movement.
Satz (SAT solver)
SatZ is a well known SAT instance solver. It was developed by Prof. Chu Min Li, a computer science researcher. The Z stands for the last version of SAT solvers.
Satz (disambiguation)
Satz may refer to:
- Satz, a formal section in music analysis
- Satz (SAT solver), a well known SAT instance solver