SAT in Saturation: A Satisfied Match

Laura Kovács Tu Wien Austria Robin Biere Bernhard Coutelier Jakob Gleiss Rath Michael Rawson Alexey Ignatiev Stefan Szeider

Semantic Scholar