BLAST: Bit-Blasting Numbers for Classical Planning (Extended Abstract).

Luigi Bonassi, Francesco Percassi, Enrico Scala

Browse the full SoCS paper archive.