Published: 2012-01-01

SAS+ Planning as Satisfiability

R. Huang, Y. Chen, W. Zhang

293-328

Computing All-Pairs Shortest Paths by Leveraging Low Treewidth

L. R. Planken, M. M. de Weerdt, R. P.J. van der Krogt

353-388

Generalized Biwords for Bitext Compression and Translation Spotting

F. Sánchez-Martínez, R. C. Carrasco, M. A. Martínez-Prieto, J. Adiego

389-418