Back to Results
First PageMeta Content
Maths24 / Mega Man X4 / Software / COMPASS/Sample Code


Automating Parallel SAT Solving Youssef Hamadi Microsoft Research, Cambridge Based on joint work with: Lakhdar Sais, Said Jabbour, Nadjib Lazaar, Michele Sebag, and Christoph Wintersteiger
Add to Reading List

Document Date: 2013-01-25 17:03:18

Open Document

File Size: 1,74 MB

Share Result on Facebook

Company

Microsoft / /

IndustryTerm

sequential algorithm / parallel algorithm / /

Person

Christoph Wintersteiger / Said Jabbour / Youssef Hamadi / Michele Sebag / /

Position

General / /

Technology

parallel algorithm / sequential algorithm / /

SocialTag