000 a
020 _a9783865415271
100 _aSchoning, Uwe
245 _aSatisfiability Problem
260 _bLehmanns Media
_c2013
999 _c29781
_d29781