Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-14186-7_27> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 978-3-642-14186-7_27 contribution "On moderately exponential time for SAT".
- 978-3-642-14186-7_27 doi "10.1007/978-3-642-14186-7_27".
- 978-3-642-14186-7_27 first1 "Evgeny".
- 978-3-642-14186-7_27 first2 "Alexander".
- 978-3-642-14186-7_27 isCitedBy Exponential_time_hypothesis.
- 978-3-642-14186-7_27 last1 "Dantsin".
- 978-3-642-14186-7_27 last2 "Wolpert".
- 978-3-642-14186-7_27 pages "313–325".
- 978-3-642-14186-7_27 publisher "Springer-Verlag".
- 978-3-642-14186-7_27 series "Lecture Notes in Computer Science".
- 978-3-642-14186-7_27 title "Theory and Applications of Satisfiability Testing–SAT 2010".
- 978-3-642-14186-7_27 volume "6175".
- 978-3-642-14186-7_27 year "2010".