StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Kyle Jones

Rating
1529.96 (18,563rd)

Reputation
4,830 (34,384th)

Page: 1 2 3

Title	Δ
Linear Sat Unsat vs Linear Unsat Sat	0.00
Convert Vertex-Total-Magic-Labeling Problem to SAT	0.00
Unsat core in Minisat	0.00
How to implement non chronological backtracking	0.00
SAT Solvers and Phase Saving	0.00
How to convert a system of non-linear XOR equations to CNF	-2.32
minisat randomize variable selection is not working on gcloud	0.00
DPLL What is a consistent set of literals?	0.00
What are the semantics of non-decision variables in MiniSat?	0.00
2 satisfiability strongly connected components topological ordering	0.00
Solving with multiple assumptions	+0.45
What is the Big-O of an n-sized Sudoku using brute force backtracki...	0.00
Arc-Consistency (AC3) and one Challenges?	0.00
Solving equations using propositional logic	0.00
Can we define relations in Z3?	+0.45
SAT Solvers, 0-depth assignments	0.00
minisat how to find all the SAT solutions efficiently	0.00
Implication Graph Assignment	0.00
Running a script within specific time frame in Unix	-0.72
How to find uninitialized variables in C on Linux?	-0.77
fopen() returning unexpected array with Mac Excel generated csv	0.00
Minimax Algorithm queue possible?	0.00
(get-unsat-core) returns empty in Z3	0.00
Assistance with minimax algorithm for connect four in Javascript	0.00
SAT-Solving a system of one-hot constraints	0.00
How to adapt my Minimax search tree to deal with no term based game	0.00
Why deserialize a tree?	0.00
Beating a minimax opponent	+0.45
Bug in Quiescence Search	0.00
MinMax Simple Demonstration for TicTacToe	0.00
improving performance of a dpll algorithm	0.00
Double pointer memory allocation to a struct in C	-2.10
What will be the Worst case Time complexity for this?	0.00
Using minimax search for card games with imperfect information	0.00
ip connect to proxy other ip 443 JUST ASKING	0.00
Random Segmentation Fault	+1.19
Writing Constraints for At least one assignment from 1 to N to a se...	-0.55
When I use pipes in Cygwin to connect commands, why don't the comma...	-2.22
ANSI C - Benefit of assigning alternative name to pointer type usin...	+0.90
Bash - how to prefill command line input	0.00
Addressing "procrastination" in minimax	0.00
Is applying Minimax possible with 4 * 4 board Tic Tac Toe or need A...	0.00
defining unused parameters in C	+4.48
A Simple Chess Minimax	0.00
C program days between two dates	-2.29
Why do static variables not allow recursion?	+2.60
When to use a pointer to another struct in nested structs in C	+3.68
How does this code work to reverse bits in number?	-0.20
read() from files - blocking vs. non-blocking behavior	+3.47
Emacs / Elisp / Closure / Toggle	+0.21