Rodrigo de Azevedo

Member for 5 years, 7 months
Last seen this week

Europe

Summary

Reputation

914

914
783
652

2019
2020
2021
2022

Top tag

integer-programming

Next privilege

1,000 Rep.

See votes

Badges

9

17

Newest

Quorum

Next badge

248/600

Electorate

Answers

View all 15 answers

Votes Activity Newest

9

Why is data in computer science considered to be discrete?

Mar 19 '17

7

Why can't we round results of linear programming to get integer programming?

Oct 23 '16

4

How to reduce the low-rank matrix completion problem to integer programming?

Apr 18 '17

4

Number of $n \times n$ binary matrices whose rows and columns sum to at most $m$

Nov 21 '16

3

Converting if-then-else condition to integer linear programming with equality constraints

Jun 9 '17

Questions

Votes Activity Newest Views

This user has not asked any questions

Tags

View all 29 tags

integer-programming

19

Score

7

Posts

linear-programming

11

Score

4

Posts

matrices

11

Score

4

Posts

optimization

10

Score

3

Posts

data-structures

9

Score

1

Posts

Reputation

+2

Optimizing a sum of matrix chains

+2

Why does the negative reward function in LQR encourage convergence to the origin?

+2

Why does the negative reward function in LQR encourage convergence to the origin?

+2

How can we prove that a reduction exists?

Badges

View all badges

This user doesn’t have any gold badges yet.

9

silver badges

Strunk & White

Dec 14 '17
Civic Duty

Oct 19 '17
Necromancer

× 2

Jun 6 '19

17

bronze badges

Investor

May 13 '17
Suffrage

Aug 4 '19
Disciplined

Sep 22 '16

Bookmarks

View all 21 bookmarks

Votes Activity Newest Views Added

145

Why are there so many programming languages?

Mar 17 '12

46

Learning Automated Theorem Proving

Mar 27 '12

34

Is there a task that is solvable in polynomial time but not verifiable in polynomial time?

Dec 7 '16

30

Clear, intuitive derivation of the fixed-point combinator (Y combinator)?

Feb 8 '13

29

Measuring the difficulty of SAT instances

Mar 15 '12

Accounts

View all 143 accounts

18.2k
4
33
93

2,132
3
13
29

1,400
12
19

1,099
1
9
26

History of Science and Mathematics

1,047
9
15

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

394

upvotes

6

downvotes

248

question votes

152

answer votes

Computer Science Stack Exchange works best with JavaScript enabled