SAT solver Lingeling wins 7 medals

Armin Biere:

Our SAT solver Lingeling won 7 medals in this year’s SAT 2013 Competition
including the gold medal in the application track. The parallel versions Plingeling and Treengeling dominated both the parallel application track and the parallel track for hard combinatorial problems.

Posted in Scientific News