Gayathri Namasivayam

According to our database, Gayathri Namasivayam authored at least 6 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2010

Simple but Hard Mixed Horn Formulas.

Gayathri Namasivayam, Miroslaw Truszczynski

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

Simple Random Logic Programs.

Gayathri Namasivayam, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Study of Random Logic Programs.

Gayathri Namasivayam

Proceedings of the Logic Programming, 25th International Conference, 2009

2007

An <i>Smodels</i> System with Limited Lookahead Computation.

Gayathri Namasivayam, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

The First Answer Set Programming System Competition.

Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006

PB-smodels a Pseudo-Boolean Solver.

Gayathri Namasivayam

Proceedings of the Proceedings, 2006