Theoretical Computer Science
Meta user
Network profile
281
reputation
2
6

RTK

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

1
answer
7
questions
~940
people reached
  • Member for 1 year, 4 months
  • 16 profile views
  • Last seen Nov 26 at 14:54

Communities (10)

Top network posts

Top tags (12)

Score 1
Posts 3
Posts % 38
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 0
Posts 6
Score 0
Posts 4
View all tags →

Top posts (8) All Questions Answers | Votes Newest

4 Resolution augmented with the rule of symmetry or the rule of extension Aug 11 '18
4 Finding a largest symmetrical subset of a k-CNF propositional formula Aug 16 '18
2 Transforming a DAG-like resolution proof to a tree like resolution proof Aug 11 '18
2 Efficient transformation of clausal proof into resolution proof Aug 14 '18
2 On the goal of learned clause database reduction in CDCL SAT solvers Sep 10 '18
1 How to efficiently verify if a semantic symmetry of a CNF formula is valid? Sep 19 '18
1 Sorting a programs instructions until it works Aug 13 '18
0 Understanding the definition of a “restriction of a resolution derivation” Aug 30 '18

Badges (8)

Gold

—

Silver

2

Rarest

Bronze

6

Rarest