Gayathri Namasivayam

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Gayathri Namasivayam, Miroslaw Truszczynski
Simple but Hard Mixed Horn Formulas. SAT (2010)
Gayathri Namasivayam
Study of Random Logic Programs. ICLP (2009)
Gayathri Namasivayam, Miroslaw Truszczynski
Simple Random Logic Programs. LPNMR (2009)
Gayathri Namasivayam, Miroslaw Truszczynski
System with Limited Lookahead Computation. LPNMR (2007)
Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski
The First Answer Set Programming System Competition. LPNMR (2007)
Gayathri Namasivayam
PB-smodels a Pseudo-Boolean Solver. AAAI (2006)