SArTagnan - A parallel portfolio SAT solver with lockless physical clause sharing

Research Area: Structure Based Algorithm Engineering for SAT Solving Year: 2011
Type of Publication: In Proceedings Keywords: multi-core, SAT, parallel
Authors: Stephan Kottler; Michael Kaufmann
Book title: Pragmatics of SAT
BibTex:
[Bibtex]
[ Back ]