Solving SAT and HPP with Accepting Splicing Systems.

Remco Loos, Carlos Martn-Vide, Victor Mitrana

Browse the full PPSN paper archive.