|
Search the dblp DataBase
Gayathri Namasivayam:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gayathri Namasivayam
PB-smodels a Pseudo-Boolean Solver. [Citation Graph (0, 0)][DBLP] AAAI, 2006, pp:- [Conf]
- Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski
The First Answer Set Programming System Competition. [Citation Graph (0, 0)][DBLP] LPNMR, 2007, pp:3-17 [Conf]
- Gayathri Namasivayam, Miroslaw Truszczynski
An Smodels System with Limited Lookahead Computation. [Citation Graph (0, 0)][DBLP] LPNMR, 2007, pp:278-283 [Conf]
Study of Random Logic Programs. [Citation Graph (, )][DBLP]
Simple Random Logic Programs. [Citation Graph (, )][DBLP]
Simple but Hard Mixed Horn Formulas. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|