Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 for { <http://dbpedia.org/resource/SAT_solving> ?p ?o. }

• SAT_solving wikiPageID "39892443".
• SAT_solving wikiPageRedirects Boolean_satisfiability_problem.
• SAT_solving wikiPageRevisionID "563262861".
• SAT_solving label "SAT solving".
• SAT_solving wasDerivedFrom SAT_solving?oldid=563262861.
• SAT_solving isPrimaryTopicOf SAT_solving.