Team

SAT modulo Symmetries was introduced by Kirchweger and Szeider (link). In the meantime, many people helped to extend SMS, make it easier to use and apply it to some interesting problem.

• Markus Kirchweger, TU Wien
• Stefan Szeider, TU Wien
• Tomáš Peitl, TU Wien
• Manfred Scheucher, TU Berlin

We also want to thank Katalin Fazekas for implementing an easy to use interface to Cadical allowing adding custom propagators. This allowed us to use Cadical as the underlying SAT solver.

Contact

If there are any questions, please don't hesitate to contact us: markus.kirchweger@ac.tuwien.ac.at.