Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Satz_(SAT_solver)> ?p ?o }
Showing triples 1 to 22 of
22
with 100 triples 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) wikiPageLength "405".
- Satz_(SAT_solver) wikiPageOutDegree "4".
- Satz_(SAT_solver) wikiPageRevisionID "532222259".
- Satz_(SAT_solver) wikiPageWikiLink Boolean_satisfiability_problem.
- Satz_(SAT_solver) wikiPageWikiLink Category:SAT_solvers.
- Satz_(SAT_solver) wikiPageWikiLink Chu_Min_Li.
- Satz_(SAT_solver) wikiPageWikiLink IJCAI.
- Satz_(SAT_solver) wikiPageWikiLink International_Joint_Conference_on_Artificial_Intelligence.
- Satz_(SAT_solver) wikiPageWikiLinkText "Satz (SAT solver)".
- Satz_(SAT_solver) wikiPageWikiLinkText "Satz".
- Satz_(SAT_solver) hasPhotoCollection Satz_(SAT_solver).
- Satz_(SAT_solver) wikiPageUsesTemplate Template:Algorithm-stub.
- Satz_(SAT_solver) subject Category:SAT_solvers.
- 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) wasDerivedFrom Satz_(SAT_solver)?oldid=532222259.
- Satz_(SAT_solver) isPrimaryTopicOf Satz_(SAT_solver).