![]() | ![]() |
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] |