Computer Science
Profile Activity
Meta user
Network profile
386
reputation
1
8

rwallace

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

2
answers
7
questions
~2k
people reached
  • russellw
  • Member for 8 years, 9 months
  • 10 profile views
  • Last seen Apr 28 at 3:57

Communities (53)

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 '19
7 Redundancy elimination in the superposition calculus Sep 21 '12
2 Neural network game players and incremental updates Aug 30 '19
2 Superposition calculus: greater vs greater-or-equal Jan 29 '19
1 Superposition calculus: Elimination of redundant atoms Jan 16 '19
1 Bachmair and Ganzinger, ordering of equations Jan 12 '19
1 Search on Conformant Problem: solution for subset of a belief state Jan 29 '19
0 Running Time of Sorting Algorithm Jan 29 '19

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.