Matches in DBpedia 2016-04 for { ?s ?p "Approximating the value of two prover proof systems, with applications to MAX 2SAT and MAX DICUT" }
Showing triples 1 to 1 of
1
with 100 triples per page.
DBpedia – Linked Data Fragments
