@inproceedings{
    JarvisaloJN:ECAI08,
    author = {J{\"a}rvisalo, Matti and Junttila, Tommi and Niemel\"a, Ilkka},
    publisher = "IOS Press",
    title = "Justification-Based Non-Clausal Local Search for {SAT}",
    url = "http://www.tcs.hut.fi/~mjj/publications.shtml",
    booktitle = "Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)",
    flags = "MCM public copy",
    year = "2008",
    pages = "535--539"
}