Reputation
1,191
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
8 27
Impact
~26k people reached

Mar
28
revised Minimal Subset that sums up to
added 76 characters in body
Mar
27
revised Re-Balancing Bins with Capacity Limit Problem
added 81 characters in body
Dec
15
revised Warehouse Location Problem as an integer progam instead of a mixed-integer program
grammar
Jul
11
revised Is infinitary logics $\mathcal{L}_{\infty\omega}$ an abstract logic?
edited tags
Jul
5
revised Cantor-like set removing middle-$\alpha$ open intervals
fixing title
Jul
5
revised Quarters weigh 6 grams while dimes weigh 2 grams.
Latex fixing
May
28
revised Homomorphical Equivalence is NP-complete
Format, Capitalization
May
13
revised Projected graph and given graph
Grammar, Latex, Spacing
May
10
revised Bad proof that if $a + b + ab = 2020$ then $a+b=88$
Formatting, Latex, Math stuff
May
9
revised Finding 1000th 5-smooth number
Beautify, Latex ...
Feb
13
revised Selecting a unique pair satisfying a condition $\varphi$ with an ordering
Specialization
Feb
5
revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
correct the set
Feb
3
revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
correct
Feb
3
revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
correct formula
Nov
21
revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
More explenation
Nov
21
revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
spelling prettierer relations
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
added additional tags
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
spelling puncuation
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
spelling and stuff
Jun
25
revised Generlized Büchi Games and Closed under superset Muller Games
fixing latex