Matches in Wikidata for { <http://www.wikidata.org/entity/Q17008878> ?p ?o ?g. }
Showing items 1 to 30 of
30
with 100 items per page.
- Q17008878 description "SAT solving algorithm" @default.
- Q17008878 name "Aprendizaje de Cláusulas con base en Conflictos (CDCL)" @default.
- Q17008878 name "CDCL" @default.
- Q17008878 name "Conflict Driven Clause Learning" @default.
- Q17008878 name "Konfliktusvezérelt klóztanulás" @default.
- Q17008878 name "Алгоритм CDCL" @default.
- Q17008878 type Item @default.
- Q17008878 label "Aprendizaje de Cláusulas con base en Conflictos (CDCL)" @default.
- Q17008878 label "CDCL" @default.
- Q17008878 label "Conflict Driven Clause Learning" @default.
- Q17008878 label "Konfliktusvezérelt klóztanulás" @default.
- Q17008878 label "Алгоритм CDCL" @default.
- Q17008878 prefLabel "Aprendizaje de Cláusulas con base en Conflictos (CDCL)" @default.
- Q17008878 prefLabel "CDCL" @default.
- Q17008878 prefLabel "Conflict Driven Clause Learning" @default.
- Q17008878 prefLabel "Konfliktusvezérelt klóztanulás" @default.
- Q17008878 prefLabel "Алгоритм CDCL" @default.
- Q17008878 P2159 Q17008878-f2fda10b-4a94-000a-88fe-2df4f4a4dcb3 @default.
- Q17008878 P31 Q17008878-8f467a39-4d51-7096-b0d2-19e03d4ffacb @default.
- Q17008878 P373 Q17008878-262a0842-435e-bf6e-ba8b-221554b17726 @default.
- Q17008878 P571 Q17008878-5b776561-4523-e505-0ece-bafb1617ddea @default.
- Q17008878 P6366 Q17008878-D4E2BED7-BDE5-4279-AF30-504B3E1F881F @default.
- Q17008878 P646 Q17008878-318CABCC-5292-40AD-A0D8-86885F4070EE @default.
- Q17008878 P6366 2776377773 @default.
- Q17008878 P2159 Q875276 @default.
- Q17008878 P31 Q755673 @default.
- Q17008878 P373 "Conflict-driven clause learning algorithm" @default.
- Q17008878 P571 "1996-01-01T00:00:00Z" @default.
- Q17008878 P6366 "2776377773" @default.
- Q17008878 P646 "/m/0t51hfr" @default.