@conference{KottlerKaufmann2011,
author = "Stephan Kottler and Michael Kaufmann",
booktitle = "Pragmatics of SAT",
keywords = "multi-core, SAT, parallel",
title = " {SA}r{T}agnan - {A} parallel portfolio {SAT} solver with lockless physical clause sharing",
year = "2011",
}