000
a
020
_a
9783865415271
100
_a
Schoning, Uwe
245
_a
Satisfiability Problem
260
_b
Lehmanns Media
_c
2013
999
_c
29781
_d
29781