Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Satz_(SAT_solver)> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- Satz_(SAT_solver) abstract "SatZ is a well known SAT instance solver. It was developed by Prof. Chu Min Li, a computer science researcher. The Z stands for the last version of SAT solvers.".
- Satz_(SAT_solver) wikiPageID "9578962".
- Satz_(SAT_solver) wikiPageRevisionID "532222259".
- Satz_(SAT_solver) hasPhotoCollection Satz_(SAT_solver).
- Satz_(SAT_solver) subject Category:SAT_solvers.
- Satz_(SAT_solver) type CausalAgent100007347.
- Satz_(SAT_solver) type Intellectual109621545.
- Satz_(SAT_solver) type LivingThing100004258.
- Satz_(SAT_solver) type Object100002684.
- Satz_(SAT_solver) type Organism100004475.
- Satz_(SAT_solver) type Person100007846.
- Satz_(SAT_solver) type PhysicalEntity100001930.
- Satz_(SAT_solver) type ProblemSolver110458111.
- Satz_(SAT_solver) type SATSolvers.
- Satz_(SAT_solver) type Thinker110708454.
- Satz_(SAT_solver) type Whole100003553.
- Satz_(SAT_solver) type YagoLegalActor.
- Satz_(SAT_solver) type YagoLegalActorGeo.
- Satz_(SAT_solver) comment "SatZ is a well known SAT instance solver. It was developed by Prof. Chu Min Li, a computer science researcher. The Z stands for the last version of SAT solvers.".
- Satz_(SAT_solver) label "Satz (SAT solver)".
- Satz_(SAT_solver) sameAs m.02pkp__.
- Satz_(SAT_solver) sameAs Q7426981.
- Satz_(SAT_solver) sameAs Q7426981.
- Satz_(SAT_solver) sameAs Satz_(SAT_solver).
- Satz_(SAT_solver) wasDerivedFrom Satz_(SAT_solver)?oldid=532222259.
- Satz_(SAT_solver) isPrimaryTopicOf Satz_(SAT_solver).