Chair of Computer Architecture

University Freiburg

SAT Competition 2023 Medals

As part of our CaDiCaL_vivinst submission to the CaDiCaL Hack Track of SAT Competition 2023 Florian Pollitt implemented in CaDiCaL an approach combining a form of variable instantiation with clause vivification, which is attempted whenever vivification of a candidate clause failed and then if successful removes from the candidate clause the last assumed and least occurring literal.

For this CaDiCaL hack we were placed first place in the hack track (gold medal) and were scored third in the main track on satisfiable instances (bronze medal). More information about this hack can be found in our SAT Competition 2023 solver description.