Generation of implied constraints for automaton-induced decompositions (2013)

by M A Francisco Rodŕıguez, P Flener, J Pearson
Venue:ICTAI/CSP 2013, the special track on SAT and CSP technologies of the 25th IEEE International Conference on Tools with Artificial Intelligence. IEEE Computer Society