This thesis explores SAT solving techniques that go beyond small changes to the predominant conflict-driven SAT solving approach with clause learning (CDCL). Whilst this work starts with techniques that are close to ...

Since multi-core architectures have become well-established the enquiry for parallel SAT solvers has drastically increased. Meanwhile, several successful SAT solvers have been presented that can be run in parallel mode. ...