Matches in DBpedia 2016-04 for { <http://people.csail.mit.edu/mip/papers/sat-lbs/paper.pdf> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- paper.pdf author1Link "Mihai Pătraşcu".
- paper.pdf authorlink2 "Ryan Williams".
- paper.pdf contribution "On the possibility of faster SAT algorithms".
- paper.pdf first1 "Mihai".
- paper.pdf first2 "Ryan".
- paper.pdf isCitedBy Exponential_time_hypothesis.
- paper.pdf last1 "Pătraşcu".
- paper.pdf last2 "Williams".
- paper.pdf pages "1065–1075".
- paper.pdf title "Proc. 21st ACM/SIAM Symposium on Discrete Algorithms".
- paper.pdf url paper.pdf.
- paper.pdf year "2010".