Essays about: "CYK algorithm"
Found 2 essays containing the words CYK algorithm.
-
1. A New SAT Encoding of Earley Parsing
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : While the Boolean satisfiability problem (SAT) lies in NP, prodigious work in SAT solvers has allowed for its use in modeling a multitude of practical problems. Stating a problem in SAT can be cumbersome though and so the demand for SAT encodings arises, providing a means to formulate problems or parts of problems in a more intuitive environment. READ MORE
-
2. Parallel parsing of context-free grammars
University essay from Blekinge Tekniska Högskola/Sektionen för datavetenskap och kommunikationAbstract : During the last decade increasing interest in parallel programming can be observed. It is caused by a tendency of developing microprocessors as a multicore units, that can perform instructions simultaneously. Popular and widely used example of such platform is a graphic processing unit (GPU). READ MORE