Sgorlon, Stefano (2009) A SAT-based tool for solving configuration problems. UNSPECIFIED. (Unpublished)