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
Theoretical Computer Science
Meta User
Network Profile
96
reputation
1
6

RTK

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

1
answer
7
questions
~889
people reached
  • Member for 7 months
  • 16 profile views
  • Last seen Mar 19 at 12:07

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 (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest