StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Axel Kemper

Rating
1461.73 (4,527,575th)
Reputation
6,166 (26,425th)
Page: 1 2 3 ... 8
Title Δ
How to disconnect a connected device via USB using C#? 0.00
How to get this string concatenation correctly outputed? -0.79
Why does MiniZinc sometimes not use regular constraint defined by a... 0.00
Z3py model returned EMPTY -1.63
Seeking explanation of how shifting bits can verify the sign of a n... +0.57
MiniZinc global_cardinality function with enums 0.00
Logic to test that 2 out of 4 are true 0.00
How to Translate the solution of a SAT solver (assuming a "SAT... 0.00
output of csc command to compile C# is not the same as compiling in... 0.00
Faster way to load matrix into byte array? +0.11
How to get every clauses of a CNF formula in Z3 0.00
Convert Markdown to HTML algorithm interview question - best approa... 0.00
Understanding minzinc 0.00
Support for pow() with decision variables in MiniZinc -0.66
Z3Py How to get values after solve() function 0.00
I don't under stand this hw boolean logic 0.00
What is the meaning of "mutually exclusive" terms in Bool... 0.00
assign multiple values to a matrix in c# 0.00
Find out which pdf files have missing fonts 0.00
Adjust accessibility of derived methods when changed on parent -1.60
Count the number of different elements in an array -1.01
z3: Horn clauses / Fixedpoints over inductive datatypes 0.00
Unzip File with active progress bar C# -0.45
z3 activate expression when conditions are met -1.68
Multiplication of linear forms not allowed error 0.00
How do I find the 100 most different points within a pool of 10,000... -1.69
Using x and y coordinates as a Hashtable key? 0.00
How to get an ExchangeUser by email address with Outlook Object Lib... +2.15
How to close all child processes in C# -0.45
Can you minimize a Boolean expression having don't care conditi... 0.00
find a Xor b equals to n.can you suggest me the efficient way of fi... +0.05
Matrix rotation in anti clockwise and clockwise 0.00
No overload for 'getNext' matches delegate 'EventHandle... 0.00
Circuit tracing algorithm 0.00
Trying to simplify Karnaugh Map with only four groups of "True... 0.00
Retrieve radio song titles from axWindowsMediaPlayer control 0.00
Deciphering using XOR? 0.00
Defining constraints in MiniZinc -1.04
Colour range trackbar in c#? 0.00
Is there a definitive log entry to check for system shutdown and st... 0.00
Is it possible to model a logical OR without boolean variables in l... 0.00
How do I digitally sign a pdf into a separate file on C#? 0.00
Find the minimum number of elements in the set using z3py -1.76
How to convert a boolean expression into assembly code -1.38
How can I efficiently optimize the number of coordinates in a 2D pa... +0.03
I need an algorithm that will both find the minimal number of color... 0.00
How to simplify negated SOP to SOP? 0.00
Is this boolean conversion correct? +0.04
This is a question from computer networks paper to calculate number... 0.00
How to convert between TimeSpan and DateTime -0.87