000 00336nam a2200133Ia 4500
008 231221s9999 xx 000 0 und d
020 _a978-1-4020-5571-3
041 _aEnglish
100 _aEnrico Giunchiglia, Toby Walsh
245 0 _aSAT 2005
260 _c2006
_bSpringer US
_aNew York
650 _aComputer Science
942 _cEB
999 _c218480
_d218480