StackRating

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

tphilipp

Rating
1507.54 (103,243rd)
Reputation
23 (1,486,642nd)
Page: 1
Title Δ
How to write a bruteforce algorithm for this assignment? +4.50
Why is it the case that "in the technical sciences" propo... +4.01
3-OCC-MAX SAT np-complete? 0.00
Finding a path through vertices in a graph with SAT Solving in Python 0.00
write a predicate from other predicates by filtering based on predi... 0.00
Write a predicate that works for cyclic graph to check if there exi... 0.00
Produce a list of Lucas/fibonacci sequence with Prolog 0.00
How can I check that a particular constant exists in Prolog? +3.68
why is ( A or B) and ((not A) or C) = ( A or B) and ((not A) or C)... -3.88
Prolog symmetric encryption 0.00
Generating unsatisfiable test problems +3.48
How are objective functions represented in SAT solvers? 0.00
Get 2 unique sub-lists both containing variable from a 2D list 0.00
Is there a method to represent arbitrary length tuple in Clingo? 0.00
implementation of copy in prolog 0.00
How to check if there are at least two occurrences of an element in... -4.21
How to define OR condition in Clingo 0.00
Use a rule if a fact doesn't exist in prolog? -4.04
Parse a Prolog program with a Prolog program 0.00
How to use negation to select maximum in Clingo +4.00
Clingo: logic OR in integrity constraint 0.00