Solving SAT and HPP with Accepting Splicing Systems.

Remco LoosCarlos Martín-VideVictor Mitrana
Published in: PPSN (2006)