Sid

less info

network profile

574 reputation

211

bio	website	cs.cmu.edu/~sj1
	location
	age
visits	member for	1 year, 9 months
	seen	55 mins ago
stats	profile views	93

PhD student at CMU interested in Optimization (esp. solving NP-hard problems in practice), game theory, machine learning, computational complexity theory and math in general.

summary answers questions tags badges favorites bounties reputation activity

8 Answers

votes activity newest

17	Major unsolved problems in theoretical computer science?
14	Are there any algorithms for SAT solving which are not DPLL based?
7	Deciding between different PhD programs
4	The complexity of checking whether two CNF have the same number of solutions
3	#SAT Solver download

view more

574 Reputation

+10	Are there any algorithms for SAT solving which are not DPLL based?
+25	Consequences of sub-exponential proofs/algorithms for SAT
+2	Super-polynomial time approximation algorithms for MAX 3SAT
+10	#SAT Solver download

view more

5 Questions

votes activity newest

13	Paradigms for complexity analysis of algorithms
9	NP vs co-NP and second-order logic
5	Consequences of sub-exponential proofs/algorithms for SAT
5	Universal Function approximation
3	Detecting infeasibility of System of Linear Inequalities

26 Tags

20 sat × 4	3 reference-request
20 ds.algorithms × 4	3 software
4 cc.complexity-theory × 4	3 reductions
4 complexity-classes	3 tsp
4 counting-complexity	0 soft-question × 3

view more

19 Accounts

	Stack Overflow	1,274 rep	3514
	History	732 rep	212
	Theoretical Computer Science	574 rep	211
	Computer Science	266 rep	14
	Computational Science	226 rep	4

13 Badges

recent class name

Nice Answer × 2	Critic
Yearling	Scholar
Nice Question	Editor
Commentator	Student
Quorum	Enthusiast

view more

0 Active bounties

active offered earned

This user has no active bounties

244 Votes Cast

all time			by type			month
238	up		88	question		2
6	down		156	answer		2

view more

Theoretical Computer Science - Stack Exchange works best with JavaScript enabled