2 ms·
SAT comp gives you 5x the solving time to check your proof, which is indicative that checking isn’t so simple (though it is on paper)
by xavxav 4y ago
SAT comp gives you 5x the solving time to check your proof, which is indicative that checking isn’t so simple (though it is on paper)