Publié le : 2014-01-01
EUDML-ID :
urn:eudml:doc:262373
@article{bwmeta1.element.bwnjournal-article-amcv24z2p283bwm,
author = {Pu\l ka, Andrzej},
title = {Selection of search strategies for solving 3-sat problems},
journal = {International Journal of Applied Mathematics and Computer Science},
volume = {24},
year = {2014},
pages = {283-297},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv24z2p283bwm}
}
Pułka, Andrzej. Selection of search strategies for solving 3-sat problems. International Journal of Applied Mathematics and Computer Science, Tome 24 (2014) pp. 283-297. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv24z2p283bwm/