Search results for: Christian Suttner
Lecture Notes in Computer Science > Automated Reasoning > Competition > 490-491
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 9: CASC-19 Results > 295-296
Artificial Intelligence > 2001 > 131 > 1-2 > 39-54
Journal of Automated Reasoning > 1998 > 21 > 1 > 99-134
Journal of Automated Reasoning > 1998 > 21 > 2 > 177-203
Journal of Automated Reasoning > 1997 > 18 > 2 > 271-286
Journal of Automated Reasoning > 1997 > 18 > 2 > 163-169
Journal of Automated Reasoning > 1997 > 18 > 2 > 287-296
Journal of Automated Reasoning > 1997 > 18 > 2 > 139-162