Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems (2011)

@inproceedings{
    Niemela:ISMVL2011_ini,
    author = {Niemel{\"a}, Ilkka},
    publisher = "IEEE",
    title = "Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems",
    booktitle = "Proceedings of the 41st IEEE International Symposium on the Multiple-Valued Logic (ISMVL 2011)",
    year = "2011",
    month = "May",
    flag = "LOGIC MCM",
    address = "Tuusula, Finland",
    pages = "139--141"
}

AUTHORS: