1: Grover search algorithm 2: Defect-Tolerant CMOL Cell Assignment via Satisfiability 3: Dynamic User-Defined Similarity Searching in Semi-Structured Text Retrieval 4: An Improved Tight Closure Algorithm for Integer Octagonal Constraints