@conference{KaufmannKottler2011,
author = "Michael Kaufmann and Stephan Kottler",
booktitle = "Symposium on Experimental Algorithms",
keywords = "SAT, Boolean Constraint Propagation, Reasoning",
title = "{B}eyond {U}nit {P}ropagation in {SAT} {S}olving",
url = "http://www.springerlink.com/content/fp32471340gxm242",
year = "2011",
}