Theoretical Computer Science

Popular Question

 Popular Question
Question with 1,000 views. This badge can be awarded multiple times.

earned this badge 6 times.
Solving $n$-SAT and #$n$-SAT
Awarded Feb 10, 2022 at 16:20
A variant of Critical SAT in DP
Awarded Oct 7, 2020 at 0:34
Transform a CNF into an equivalent 3-CNF defined on the same variables
Awarded Dec 19, 2018 at 23:50
Unique SAT vs Exactly $m$ models
Awarded Aug 2, 2015 at 2:50
Consequences of $NP=coNP$ and $P\ne NP$?
Awarded Feb 14, 2014 at 23:21
About Inverse 3-SAT
Awarded Aug 23, 2013 at 0:35

Others with this badge

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.