Computer Science
Lewis Baxter's user avatar
Lewis Baxter's user avatar
Lewis Baxter's user avatar
Lewis Baxter
  • Member for 6 months
  • Last seen more than a week ago
Profile Activity
Stats
1
reputation
43
reached
0
answers
1
question
Communities
About

Co-author of "Every positive integer is a sum of three palindromes"

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
0
Should I remove equivalent variables in a CNF file to be used by a SAT solver?
May 14
Top network posts
View all network posts
6
A $2021$ problem: $20\sim 21$ and $43\times 47$

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.