SAT Solvers for Queries over Tree Automata with Constraints.

Pierre-Cyrille Ham, Vincent Hugot, Olga Kouchnarenko

Browse the full ICST paper archive.