search

limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Initial Progress Presentation #10

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

Create a google slides presentation. I think it should cover the following aspects:

  1. how did we start (sequential algorithm that we took over)
  2. how did we parallelize it?
  3. how did we test it?
  4. some initial performance evaluations
  5. what do we plan to do next?