Search Results for author:
Found 2 papers, 0 papers with code
SAT-Based Algorithms for Regular Graph Pattern Matching
We propose a generalization of graph isomorphism that allows one to check such properties through a declarative specification.
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Experimental results show that FOREST successfully returns the desired regular expression in 72% of the instances and outperforms REGEL, a state-of-the-art regular expression synthesizer.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
