Computer Science
Meta user
Network profile
187
reputation
8

rwallace

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

2
answers
5
questions
~842
people reached
  • russellw
  • Member for 6 years, 11 months
  • 6 profile views
  • Last seen Jul 12 at 6:37

Communities (46)

Top network posts

Top tags (11)

Score 1
Posts 1
Posts % 14
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 (7) All Questions Answers | Votes Newest

10 Distinct variables for different clauses Sep 5 '12
7 Redundancy elimination in the superposition calculus Sep 21 '12
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 (8)

Gold

—

Silver

—

Bronze

8

Rarest