PB-smodels a Pseudo-Boolean Solver. - Gayathri Namasivayam (AAAI, 2006)

The First Answer Set Programming System Competition. - Martin Gebser; Lengning Liu; Gayathri Namasivayam; André Neumann; Torsten Schaub; Miroslaw Truszczynski (LPNMR, 2007)

An Smodels System with Limited Lookahead Computation. - Gayathri Namasivayam; Miroslaw Truszczynski (LPNMR, 2007)

Study of Random Logic Programs. - Gayathri Namasivayam (ICLP, 2009)

Simple Random Logic Programs. - Gayathri Namasivayam; Miroslaw Truszczynski (LPNMR, 2009)

Simple but Hard Mixed Horn Formulas. - Gayathri Namasivayam; Miroslaw Truszczynski (SAT, 2010)