Gayathri Namasivayam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2006–2010
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SAT | Simple but Hard Mixed Horn Formulas. | Gayathri Namasivayam, Miroslaw Truszczynski |
| 2009 | ICLP | Study of Random Logic Programs. | Gayathri Namasivayam |
| 2009 | LPNMR | Simple Random Logic Programs. | Gayathri Namasivayam, Miroslaw Truszczynski |
| 2007 | LPNMR | The First Answer Set Programming System Competition. | Martin Gebser, Lengning Liu, Gayathri Namasivayam, Andr Neumann, Torsten Schaub, Miroslaw Truszczynski |
| 2007 | LPNMR | An | Gayathri Namasivayam, Miroslaw Truszczynski |
| 2006 | AAAI | PB-smodels a Pseudo-Boolean Solver. | Gayathri Namasivayam |