Marc Herbstritt

• Satisfiability