An Analysis of Magic Sets and Related Optimization Strategies for Logic Queries.
Efficient Routing in Optical Networks.
Fast Text Searching for Regular Expressions or Automaton Searching on Tries.
On the Combinatorial and Algebraic Complexity of Quantifier Elimination.
Constructing Deterministic Finite-State Automata in Recurrent Neural Networks.