1 paper
Clemens Hofstadler, Manuel Kauers, Martina Seidl
Symmetries have been exploited successfully within the realms of SAT and QBF to improve solver performance in practical applications and to devise more powerful proof systems. As a…