StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Martin B.
|
Rating 1499.99 (3,657,643rd) |
Reputation 41 (1,155,976th) |
Page: 1
| Title | Δ |
|---|---|
| Exactly what quantifiers is SMT complete for? | -4.05 |
| Implementing bit-blasting for floating-point arithmetic in SMT | +4.04 |