Seven Challenges in Parallel SAT Solving

Youssef Hamadi and Christoph M. Wintersteiger

Details

Publication typeArticle
Published inAI Magazine
Pages99-106
Volume34
Number2
PublisherAAAI
> Publications > Seven Challenges in Parallel SAT Solving