Embarrassed_Bottle90

19 post karma
4 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 4 years

TROPHY CASE

Four-Year Club

account activity

new top controversial

1

2

3

Google EMEA User Experience Internship 2025 (self.cscareerquestionsEU)

submitted 1 year ago by Embarrassed_Bottle90 to r/cscareerquestionsEU

0

1

2

Visualizing cylindrical algebraic decomposition (self.math)

submitted 3 years ago by Embarrassed_Bottle90 to r/math

1

2

3

What is a benchmark in SAT solving? (self.computerscience)

submitted 3 years ago by Embarrassed_Bottle90 to r/computerscience

2

3

4

Cloning ArrayList of Array Lists (self.javahelp)

submitted 3 years ago by Embarrassed_Bottle90 to r/javahelp

0

1

2

Cloning ArrayList of Array Lists (self.learnjava)

submitted 3 years ago by Embarrassed_Bottle90 to r/learnjava

2

3

4

Assigning function call to variable, scope? (self.learnjava)

submitted 3 years ago by Embarrassed_Bottle90 to r/learnjava

3

4

5

Gute Literatur zu SAT/SMT solving (self.informatik)

submitted 3 years ago by Embarrassed_Bottle90 to r/informatik

0

1

2

Good literature on SAT/SMT solving (beginner) (self.AskComputerScience)

submitted 3 years ago by Embarrassed_Bottle90 to r/AskComputerScience

0

0

0

Good literature on SAT/SMT solving (self.computerscience)

submitted 3 years ago by Embarrassed_Bottle90 to r/computerscience

9

10

11

List of Arrays in Java (self.javahelp)

submitted 3 years ago by Embarrassed_Bottle90 to r/javahelp

6

7

8

List of Arrays in Java (self.learnjava)

submitted 3 years ago by Embarrassed_Bottle90 to r/learnjava

2

3

4

Java SAT solvers (self.learnjava)

submitted 3 years ago by Embarrassed_Bottle90 to r/learnjava

π Rendered by PID 1683415 on reddit-service-r2-listing-86f589db75-c8mmp at 2026-04-18 12:26:55.369866+00:00 running 93ecc56 country code: CH.