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 Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pages 535–539. IOS Press, 2008.

Suggested BibTeX entry:

@inproceedings{JarvisaloJN:ECAI08,
    author = {Matti J{\"a}rvisalo and Tommi Junttila and Ilkka Niemel\"a},
    booktitle = {Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)},
    pages = {535--539},
    publisher = {IOS Press},
    title = {Justification-Based Non-Clausal Local Search for {SAT}},
    year = {2008},
}