Theoretical Computer Science
ferris's user avatar
ferris's user avatar
ferris's user avatar
ferris
  • Member for 2 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
11
reputation
239
reached
1
answer
1
question
Communities
View all
About

dad(jokes), demoscene, rendering, compilers, compression, FPGA, emulation, music production. Attempting to add DSP to that list.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
1
Can this NP-hardness proof for Super Mario Brothers (and other games) be simplified?
Oct 1, 2021
answer
0
Can this NP-hardness proof for Super Mario Brothers (and other games) be simplified?
Nov 25, 2021
Top network posts
View all network posts
7
Why is BMC/k-induction used in RTL formal verification?

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.