Is Boolean Satisfiability Problem for CNF is NP? What about DNF?
128032
Solving SAT by converting to disjunctive normal form
94703
Time complexity and optimality
138517
Is there a cryptography algorithm that will remain safe if P=NP?
36603
Can quantum computers be used to solve P = NP
129930
A problem on chinese remainder theorem (CSIR NET DEC 2015)
35306
How to choose $\alpha$ in cost-complexity pruning?
32081
The dual version of trichotomy of cardinality without AC
59415
Is it known whether $BPP\cap NP\subseteq RP$?
101453
Existence of a Boolean algebra with a unique ultrafilter in ZF
98518
Cardinality of equivalence relations on N
127778
Unboundedness in linear programming
138304
getting tight bounds on n!
96845
Question: Compare the cardinality between the sets $\Bbb R$ and $\Bbb N^{\Bbb N}$
123598
Showing the set of DFAs that accept nonempty languages is decidable
23875
Why is convexity a requirement for Brouwer fixed points? Shouldn't "no holes" be good enough?
94771
Not every boolean function is constructed from $\wedge$ (and) and $\vee$ (or)
31389
consistency of ZF\{Power Set axiom}