research
∙
06/17/2023
Co-Certificate Learning with SAT Modulo Symmetries
We present a new SAT-based method for generating all graphs up to isomor...
share
research
∙
06/30/2022
Are Hitting Formulas Hard for Resolution?
Hitting formulas, introduced by Iwama, are an unusual class of propositi...
research
∙
12/12/2020
