Top network posts
- 11Unique SAT vs Exactly $m$ models
- 10About Inverse 3-SAT
- 9Where to find raw data about clinical trials?
- 8Complexity of the $(3,2)_s$ SAT problem?
- 8Transform a CNF into an equivalent 3-CNF defined on the same variables
- 8Consequences of $NP=coNP$ and $P\ne NP$?
- 8A variant of Critical SAT in DP
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.