Computer Science
Meta user
Network profile
234
reputation
1
8

rwallace

Apparently, this user prefers to keep an air of mystery about them.

2
answers
7
questions
~1k
people reached
  • russellw
  • Member for 7 years, 1 month
  • 9 profile views
  • Last seen Sep 25 at 20:05

Communities (46)

Top network posts

Top tags (18)

Score 1
Posts 2
Posts % 22
Score 1
Posts 1
Score 1
Posts 1
Score 0
Posts 5
Score 0
Posts 5
Score 0
Posts 3
View all tags →

Top posts (9) All Questions Answers | Votes Newest

10 Distinct variables for different clauses Sep 5 '12
7 Random restarts for unsatisfiable instances Sep 15
7 Redundancy elimination in the superposition calculus Sep 21 '12
2 Neural network game players and incremental updates Aug 30
2 Superposition calculus: greater vs greater-or-equal Jan 29
1 Superposition calculus: Elimination of redundant atoms Jan 16
1 Bachmair and Ganzinger, ordering of equations Jan 12
1 Search on Conformant Problem: solution for subset of a belief state Jan 29
0 Running Time of Sorting Algorithm Jan 29

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest