@inbook {IOPORT.05586307,
    author       = {Namasivayam, Gayathri},
    title        = {Study of random logic programs.},
    year         = {2009},
    booktitle    = {Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14--17, 2009. Proceedings},
    isbn         = {978-3-642-02845-8},
    pages        = {555-556},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-02846-5_61},
    abstract     = {Summary: The aim of this research is to generate random logic programs and study their properties such as the occurrence of an easy-hard-easy pattern and the probability of existence of stable models for these programs. The primary focus is on generating random logic programs that can be classified to be hard for ASP solvers based on the time taken and the number of choice points generated by them in finding a stable model. Our study and generation of random logic programs have been motivated by two key reasons: hard random logic programs can be used as benchmarks for evaluating the algorithms used in existing ASP solvers, and experimental analysis as well as theoretical studies of the properties of these random logic programs can provide us with insights for improving the design of the heuristics/algorithms in these solvers.},
    identifier   = {05586307},
}