Matches in DBpedia 2015-10 for { <http://doi.org/10.1137/S0097539700369156> ?p ?o }
Showing triples 1 to 19 of
19
with 100 triples per page.
- S0097539700369156 author2Link "Richard M. Karp".
- S0097539700369156 author4Link "Michael Saks".
- S0097539700369156 doi "10.1137/S0097539700369156".
- S0097539700369156 first1 "Paul".
- S0097539700369156 first2 "Richard".
- S0097539700369156 first3 "Toniann".
- S0097539700369156 first4 "Michael".
- S0097539700369156 isCitedBy Toniann_Pitassi.
- S0097539700369156 issue "4".
- S0097539700369156 journal SIAM_Journal_on_Computing.
- S0097539700369156 last1 "Beame".
- S0097539700369156 last2 "Karp".
- S0097539700369156 last3 "Pitassi".
- S0097539700369156 last4 "Saks".
- S0097539700369156 mr "1919956".
- S0097539700369156 pages "1048–1075".
- S0097539700369156 title "The efficiency of resolution and Davis-Putnam procedures".
- S0097539700369156 volume "31".
- S0097539700369156 year "2002".