Reputation
Top tag
Next privilege 250 Rep.
View close votes
Badges
4
Newest
 Editor
Impact
~819 people reached

  • 0 posts edited
  • 0 helpful flags
  • 5 votes cast
Apr
23
revised Satisfiability proof of formulas with pure literals
added 1 character in body
Apr
23
revised Satisfiability proof of formulas with pure literals
added 290 characters in body
Apr
22
revised Satisfiability proof of formulas with pure literals
edited title
Apr
22
revised Satisfiability proof of formulas with pure literals
edited body
Apr
22
revised Satisfiability proof of formulas with pure literals
added 2 characters in body
Jan
29
revised Get rid of an existential quantifier
edited body