SAT-Based Algorithms for Regular Graph Pattern Matching.

Miguel Terra-Neves, Jos Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, Antnio Alegria

Browse the full AAAI paper archive.