classification_p_np
brute_force_search
pspace
r_re
ld
hp
classification_p_np
vertex_cover
independent_set
classification_r_re
classification_p_np
vertex_cover
p_np
model
classification_p_np
subset_sum
partition
k-clique
p
bipartite_graph
classification_p_np
sat
spring_18_a
r_re
spring_18_a
misc
classification_p_np
dominating_set
vertex_cover
classification_r_re
misc
vertex_cover
reduction_p_np
3col
spring_18_a
p_np
p_np
proof
rice
r_re
r_re
proof
classification_r_re
proof
p_np
r_re
p_np
independent_set
set_cover
r_re
misc
classification_p_np
approximation
model
basic
sat
misc
eli
misc
p_np
reduction_p_np
rice
r_re
diagonal_lemma
reduction_p_np
set_cover
classification_p_np
3col
model
r_re
proof
true_false_open
winter17-18
classification_r_re
vertex_cover
independent_set
p_np
vertex_cover
p_np
proof
sat
classification_p_np
sat
proof
winter17-18
classification_r_re
eli
ip
classification_r_re
reduction_p_np
hamiltonian_path
r_re
proof
classification_p_np
steiner_tree
p_np
cook
model
vertex_cover
reduction_p_np
3col
p_np
proof
sat
p_np
sat
approximation
misc
r_re
p_np
true_false
p_np
independent_set
classification_r_re
r_re
misc
exp