Solving SAT and HPP with Accepting Splicing Systems | Publicación