Matches in DBpedia 2014 for { <http://dbpedia.org/resource/GRASP_(SAT_solver)> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items 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) wikiPageRevisionID "527239709".
- GRASP_(SAT_solver) hasPhotoCollection GRASP_(SAT_solver).
- GRASP_(SAT_solver) subject Category:SAT_solvers.
- GRASP_(SAT_solver) type CausalAgent100007347.
- GRASP_(SAT_solver) type Intellectual109621545.
- GRASP_(SAT_solver) type LivingThing100004258.
- GRASP_(SAT_solver) type Object100002684.
- GRASP_(SAT_solver) type Organism100004475.
- GRASP_(SAT_solver) type Person100007846.
- GRASP_(SAT_solver) type PhysicalEntity100001930.
- GRASP_(SAT_solver) type ProblemSolver110458111.
- GRASP_(SAT_solver) type SATSolvers.
- GRASP_(SAT_solver) type Thinker110708454.
- GRASP_(SAT_solver) type Whole100003553.
- GRASP_(SAT_solver) type YagoLegalActor.
- GRASP_(SAT_solver) type YagoLegalActorGeo.
- 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) sameAs GRASP_(SAT_solver).
- GRASP_(SAT_solver) wasDerivedFrom GRASP_(SAT_solver)?oldid=527239709.
- GRASP_(SAT_solver) isPrimaryTopicOf GRASP_(SAT_solver).