Documents [published at AAAI-2013]

Project Title Research Contact SWG Contacts / Catcher Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers George Katsirelos MIAT, INRA,…