Gayathri Namasivayam

	2010
6		Gayathri Namasivayam, Miroslaw Truszczynski: Simple but Hard Mixed Horn Formulas. SAT 2010: 382-387
	2009
5		Gayathri Namasivayam: Study of Random Logic Programs. ICLP 2009: 555-556
4		Gayathri Namasivayam, Miroslaw Truszczynski: Simple Random Logic Programs. LPNMR 2009: 223-235
	2007
3		Gayathri Namasivayam, Miroslaw Truszczynski: An Smodels System with Limited Lookahead Computation. LPNMR 2007: 278-283
2		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

Coauthor Index

1	Martin Gebser	[2]
2	Lengning Liu	[2]
3	André Neumann	[2]
4	Torsten Schaub	[2]
5	Miroslaw Truszczynski	[2] [3] [4] [6]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page