Some thoughts

Satisfiability

Matroids

Maxima