@ARTICLE{Posthoff_Christian_The_2011,
 author={Posthoff, Christian and Steinbach, Bernd},
 volume={vol. 57},
 number={No 3},
 journal={International Journal of Electronics and Telecommunications},
 howpublished={online},
 year={2011},
 publisher={Polish Academy of Sciences Committee of Electronics and Telecommunications},
 title={The Solution of SAT Problems Using Ternary Vectors and Parallel Processing},
 URL={http://www.czasopisma.pan.pl/Content/86883/PDF/32.pdf},
 doi={10.2478/v10177-011-0032-9},
}