StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Mate Soos
|
Rating 1500.00 (1,634,587th) |
Reputation 161 (529,229th) |
Page: 1
| Title | Δ |
|---|---|
| SAT solving with more than 2^32 clauses | 0.00 |
| Speed of lambda vs. inlining the function | 0.00 |
| Can a SAT solver be used to find all solutions? | 0.00 |