Theoretical Computer Science
Mikolas's user avatar
Mikolas's user avatar
Mikolas's user avatar
Mikolas
  • Member for 12 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
1,312
reputation
37k
reached
17
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
13
bronze badges
Top tags
View all tags
106
Score
15
Posts
83
Posts %
91
Score
7
Posts
39
Posts %
39
Score
2
Posts
11
Posts %
27
Score
3
Posts
17
Posts %
23
Score
2
Posts
11
Posts %
13
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
24
Why is CNF used for SAT and not DNF?
Apr 2, 2011
answer
22
Checking formulas with two quantifiers ($\forall \exists$) - 2QBF
Apr 8, 2012
answer
17
Starting SAT solver papers
Aug 3, 2011
answer
10
Survey of transformations related to the use of SAT solvers
Apr 5, 2011
answer
7
SAT - Hardness of determining backbone literals
Apr 2, 2011
question
6
Minimal generator for a set of sets
Jan 31, 2019
answer
6
Why is CNF used for SAT and not DNF?
Apr 3, 2011
answer
5
#SAT Solver download
Jul 3, 2011
answer
4
Number of SAT checks that are needed to find all combinations of subset of boolean variables of a propositional formula
Apr 30, 2014
answer
4
Minimum Unsatisfiable Core
Sep 13, 2017

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.