Picture for Tomáš Peitl

Tomáš Peitl

Co-Certificate Learning with SAT Modulo Symmetries

Add code
Jun 21, 2023
Viaarxiv icon

Are Hitting Formulas Hard for Resolution?

Add code
Jun 30, 2022
Figure 1 for Are Hitting Formulas Hard for Resolution?
Figure 2 for Are Hitting Formulas Hard for Resolution?
Figure 3 for Are Hitting Formulas Hard for Resolution?
Figure 4 for Are Hitting Formulas Hard for Resolution?
Viaarxiv icon