Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
%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 = {2023-12-13T07:17:28.000+0100},
author = {Järvisalo, Matti and Junttila, Tommi A. and Niemelä, Ilkka},
biburl = {https://www.bibsonomy.org/bibtex/23a63a0a59279b472614b095485d6e5ec/admin},
booktitle = {ECAI},
crossref = {conf/ecai/2008},
date = {2009-01-30},
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 = {},
pages = {535-539},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
timestamp = {2023-12-13T07:17:28.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
}