Justification-Based Non-Clausal Local Search for SAT (2008)
AUTHORS:
Järvisalo Matti
,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)
SERIES:
Frontiers in Artificial Intelligence and Applications
VOLUME:
178
PAGES:
535--539
URL:
http://dx.doi.org/10.3233/978-1-58603-891-5-535
@inproceedings{ JarvisaloJunttilaNiemela:ECAI2008, editor = "Ghallab, Malik and Spyropoulos, Constantine D. and Fanotakis, Nikos and Avoukis, Nikos", 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://dx.doi.org/10.3233/978-1-58603-891-5-535", series = "Frontiers in Artificial Intelligence and Applications", booktitle = "Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)", volume = "178", flags = "copy DC", year = "2008", pages = "535--539" }