Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/GRASP_(SAT_solver)> ?p ?o }
Showing triples 1 to 22 of
22
with 100 triples per page.
- GRASP_(SAT_solver) abstract "GRASP is a well known SAT instance solver. It was developed by João Marques Silva, a Portuguese computer science researcher. It stands for Generic seaRch Algorithm for the Satisfiability Problem.".
- GRASP_(SAT_solver) wikiPageExternalLink grasp.
- GRASP_(SAT_solver) wikiPageID "2046024".
- GRASP_(SAT_solver) wikiPageLength "656".
- GRASP_(SAT_solver) wikiPageOutDegree "4".
- GRASP_(SAT_solver) wikiPageRevisionID "527239709".
- GRASP_(SAT_solver) wikiPageWikiLink Boolean_satisfiability_problem.
- GRASP_(SAT_solver) wikiPageWikiLink Category:SAT_solvers.
- GRASP_(SAT_solver) wikiPageWikiLink João_Marques_Silva.
- GRASP_(SAT_solver) wikiPageWikiLink Portugal.
- GRASP_(SAT_solver) wikiPageWikiLinkText "GRASP (SAT solver)".
- GRASP_(SAT_solver) wikiPageWikiLinkText "GRASP".
- GRASP_(SAT_solver) hasPhotoCollection GRASP_(SAT_solver).
- GRASP_(SAT_solver) wikiPageUsesTemplate Template:Primary.
- GRASP_(SAT_solver) subject Category:SAT_solvers.
- GRASP_(SAT_solver) comment "GRASP is a well known SAT instance solver. It was developed by João Marques Silva, a Portuguese computer science researcher. It stands for Generic seaRch Algorithm for the Satisfiability Problem.".
- GRASP_(SAT_solver) label "GRASP (SAT solver)".
- GRASP_(SAT_solver) sameAs m.06h9_6.
- GRASP_(SAT_solver) sameAs Q5514407.
- GRASP_(SAT_solver) sameAs Q5514407.
- GRASP_(SAT_solver) wasDerivedFrom GRASP_(SAT_solver)?oldid=527239709.
- GRASP_(SAT_solver) isPrimaryTopicOf GRASP_(SAT_solver).