共 39 条
[1]
Abu-Khzam FN, 2007, LECT NOTES COMPUT SC, V4619, P434
[3]
Ayari A, 2002, LECT NOTES COMPUT SC, V2517, P187
[4]
Benedetti M, 2005, LECT NOTES COMPUT SC, V3569, P378
[5]
Biere A, 2005, LECT NOTES COMPUT SC, V3542, P59
[6]
Bubeck U, 2007, LECT NOTES COMPUT SC, V4501, P244
[8]
Chen J, 2006, LECT NOTES COMPUT SC, V4162, P238
[10]
Downey R.G., 1999, MG COMP SCI