ACM Journal of Experimental Algorithmics, Volume 15
1 - Regular Papers
: An experimental study of recent hotlink assignment algorithms.
Ivor T. A. Spence
: 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