Theoretical Computer Science
Ayrat's user avatar
Ayrat's user avatar
Ayrat's user avatar
Ayrat
  • Member for 12 years, 5 months
  • Last seen more than a month ago
  • planet earth
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Synthesis researcher (HW/SW).
Stupid questions are the hardest.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
8
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
57
How to remove Private Key Password from pkcs12 container?
21
Memory Consistency vs Cache Coherence
20
SLURM: How to run 30 jobs on particular nodes only?
11
Where might I find a method to convert an arbitrary boolean expression into conjunctive or disjunctive normal form?
10
Algorithm to translate a deterministic Büchi automaton to LTL (when possible)