SAT Solvers for Queries over Tree Automata with Constraints (2010)

by P Héam, V Hugot, O Kouchnarenko
Venue:In Third International Conference on Software Testing, Verification, and Validation Workshops