Seven Challenges in Parallel SAT Solving

AI Magazine Challenges PSAT - V4.pdf
PDF file

In  AI Magazine

Publisher  AAAI

Details

TypeArticle
Pages99-106
Volume34
Number2
> Publications > Seven Challenges in Parallel SAT Solving