%0 Conference Paper %1 conf/ecai/JarvisaloJN08 %A Järvisalo, Matti %A Junttila, Tommi A. %A Niemelä, Ilkka %B ECAI %D 2008 %E Ghallab, Malik %E Spyropoulos, Constantine D. %E Fakotakis, Nikos %E Avouris, Nikolaos M. %I IOS Press %K dblp %P 535-539 %T Justification-Based Non-Clausal Local Search for SAT. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2008.html#JarvisaloJN08 %V 178 %@ 978-1-58603-891-5

@inproceedings{conf/ecai/JarvisaloJN08, added-at = {2009-01-30T00:00:00.000+0100}, author = {Järvisalo, Matti and Junttila, Tommi A. and Niemelä, Ilkka}, biburl = {https://www.bibsonomy.org/bibtex/23a63a0a59279b472614b095485d6e5ec/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2008}, date = {2009-01-30}, description = {dblp}, editor = {Ghallab, Malik and Spyropoulos, Constantine D. and Fakotakis, Nikos and Avouris, Nikolaos M.}, ee = {http://dx.doi.org/10.3233/978-1-58603-891-5-535}, interhash = {b74194ada36bb25d8cb380543c84cd03}, intrahash = {3a63a0a59279b472614b095485d6e5ec}, isbn = {978-1-58603-891-5}, keywords = {dblp}, pages = {535-539}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2009-02-13T11:33:49.000+0100}, title = {Justification-Based Non-Clausal Local Search for SAT.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2008.html#JarvisaloJN08}, volume = 178, year = 2008 }