ACM Journal of Experimental Algorithmics, Volume 15
1 - Regular Papers
: An experimental study of recent hotlink assignment algorithms.
: sgen1: A generator of small but difficult satisfiability benchmarks.
Julian R. Ullmann
: Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism.
2 - Selected Papers from ALENEX 2008