Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
177
reputation
7

rwallace

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

2
answers
5
questions
~809
people reached
  • russellw
  • Member for 6 years, 9 months
  • 6 profile views
  • Last seen May 5 at 13:48

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
1 Superposition calculus: greater vs greater-or-equal Jan 29
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
0 Superposition calculus: Elimination of redundant atoms Jan 16

Badges (7)

Gold

—

Silver

—

Bronze

7

Rarest