Justification-Based Non-Clausal Local Search for SAT

Reference:

Matti Järvisalo, Tommi Junttila, and Ilkka Niemelä. Justification-based non-clausal local search for SAT. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fanotakis, and Nikos Avoukis, editors, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), volume 178 of Frontiers in Artificial Intelligence and Applications, pages 535–539. IOS Press, 2008.

Suggested BibTeX entry:

@inproceedings{JarvisaloJunttilaNiemela:ECAI2008,
    author = {Matti J{\"a}rvisalo and Tommi Junttila and Ilkka Niemel\"a},
    booktitle = {Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)},
    editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fanotakis and Nikos Avoukis},
    pages = {535--539},
    publisher = {IOS Press},
    series = {Frontiers in Artificial Intelligence and Applications},
    title = {Justification-Based Non-Clausal Local Search for {SAT}},
    volume = {178},
    year = {2008},
}