Network profile

Rodrigo de Azevedo

Reputation

814

814
557
301

2018
2019
2020
2021

Next privilege

1,000 Rep.

See votes

Badges

9

17

Newest

Quorum

Next badge

0/1

Impact

105 posts edited

11 helpful flags

371 votes cast

Answers (13)

Votes Activity Newest

9	Why is data in computer science considered to be discrete?
7	Why can't we round results of linear programming to get integer programming?
4	How to reduce the low-rank matrix completion problem to integer programming?
4	Number of $n \times n$ binary matrices whose rows and columns sum to at most $m$
3	Converting if-then-else condition to integer linear programming with equality constraints

View more →

Reputation (814)

+10	Why is data in computer science considered to be discrete?
+2	Does the existence of a matroid structure imply that the greedy algorithm is optimal?
+10	Approximate subset sum with two-dimensional vectors
+2	Algorithm for implementing the modulus “%” operator?

View more →

Questions (0)

Votes Activity Newest

This user has not asked any questions

Tags (0)

This user has not participated in any tags

Bookmarks (16)

Votes Activity Newest Views Added

44	Learning Automated Theorem Proving
34	Is there a task that is solvable in polynomial time but not verifiable in polynomial time?
29	Sorting as a linear program
29	Measuring the difficulty of SAT instances
27	Selling blocks of time slots

View more →

Accounts (96)

	Mathematics	16,818 rep	4 gold badges29 silver badges77 bronze badges
	MathOverflow	2,062 rep	3 gold badges11 silver badges27 bronze badges
	Chemistry	1,296 rep	11 silver badges19 bronze badges
	Aviation	1,084 rep	1 gold badge7 silver badges19 bronze badges
	Stack Overflow	935 rep	8 silver badges17 bronze badges

Badges (22)

Recent Class Name

Quorum	Informed
Yearling × 4	Civic Duty
Suffrage	Revival
Necromancer × 2	Investor
Strunk & White	Custodian

View more →

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (371)

all time			by type
369	up		231	question
2	down		140	answer

Computer Science Stack Exchange works best with JavaScript enabled