| 2007 | ||
|---|---|---|
| 3 | EE | Gayathri Namasivayam, Miroslaw Truszczynski: An Smodels System with Limited Lookahead Computation. LPNMR 2007: 278-283 |
| 2 | EE | Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski: The First Answer Set Programming System Competition. LPNMR 2007: 3-17 |
| 2006 | ||
| 1 | Gayathri Namasivayam: PB-smodels a Pseudo-Boolean Solver. AAAI 2006 | |
| 1 | Martin Gebser | [2] |
| 2 | Lengning Liu | [2] |
| 3 | André Neumann | [2] |
| 4 | Torsten Schaub | [2] |
| 5 | Miroslaw Truszczynski | [2] [3] |