Stack Exchange Network

Stack Exchange network consists of 174 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
Theoretical Computer Science
Meta User
Network Profile
92
reputation
1
6

RTK

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

1
answer
10
questions
~1k
people reached
  • Member for 5 months
  • 16 profile views
  • Last seen Jan 11 at 18:12

Communities (10)

Top Network Posts

Top Tags (17)

Score 1
Posts 4
Posts % 36
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 0
Posts 8
Score 0
Posts 4
View all tags →

Top Posts (11) 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 Proving that a problem is coNP-complete [duplicate] Sep 25 '18
0 How to obtain a resolution derivation of a symmetric image of a clause from its resolution derivation Sep 19 '18
0 Understanding the definition of a “restriction of a resolution derivation” Aug 30 '18
View all questions and answers →

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest