arXiv:0804.4881, submitted30April2008, version2 dated26January2011. Primary manuscript arxiv.org/pdf/0804.4881 , title-page byline and introduction describe Traces, equitable partitions, individualization and contraction of the search space, followed by algorithmic and experimental comparisons.
Articles by others on the same topic
There are currently no matching articles.