Computer Science
rwallace's user avatar
rwallace's user avatar
rwallace's user avatar
rwallace
  • Member for 10 years
  • Last seen more than a month ago
Profile Activity
Stats
386
reputation
2k
reached
2
answers
7
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
1
Score
2
Posts
22
Posts %
1
Score
1
Posts
11
Posts %
1
Score
1
Posts
11
Posts %
0
Score
5
Posts
56
Posts %
0
Score
5
Posts
56
Posts %
0
Score
3
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
10
Distinct variables for different clauses
Sep 5, 2012
question
7
Redundancy elimination in the superposition calculus
Sep 21, 2012
question
7
Random restarts for unsatisfiable instances
Sep 15, 2019
question
2
Superposition calculus: greater vs greater-or-equal
Jan 29, 2019
question
2
Neural network game players and incremental updates
Aug 30, 2019
question
1
Bachmair and Ganzinger, ordering of equations
Jan 12, 2019
question
1
Superposition calculus: Elimination of redundant atoms
Jan 16, 2019
answer
1
Search on Conformant Problem: solution for subset of a belief state
Jan 29, 2019
answer
0
Running Time of Sorting Algorithm
Jan 29, 2019
Top network posts
View all network posts
392
Total memory used by Python process?
153
Changing PowerShell's default output encoding to UTF-8
146
HTML img scaling
95
On Linux/Unix, does .tar.gz versus .zip matter?
66
Read all text from stdin to a string

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.