 |
Post Avgoga8TUPvf5Ocnmi by [email protected] |
 |
More posts by [email protected] |
|
Post #Avgoga8TUPvf5Ocnmi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The two cultures of CS: whether you think SAT or UNSAT is the more interesting … |
|
|
|
Post #AvgogaFv2jsrSU6kO8 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@pervognsen proof of unsat is harder 😛 |
|
|
|
Post #AvhK9xnnfr9hSnRdcu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bradlarsen @pervognsen turing award wen? ;) |
|
|
|
Post #AvhK9xuBI8G9maQjZY by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@pkhuong @pervognsen it sure feels harder at least! :p |
|
|
|
Post #AvhKlgqr92OPtbrbcm by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@pkhuong @pervognsen practically speaking though, aren't proofs of UNSAT th… |
|
|
|
Post #Aw3wxyPvjUF7aNfi9w by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bradlarsen @pkhuong @pervognsen basically yes, we have DRAT now which has a fe… |
