Studia Informatica > 2013 > Vol. 34, nr 4 > 23--43
Source
Abstract
Identifiers
journal ISSN : | 1642-0489 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
1. Balint A., Fröhlich A.: Improving Stochastic Local Search for SAT with a New Probability Distribution. LNCS, Vol. 6175, Springer, Heidelberg 2010, p. 10-15.
-
2. Belov A., Järvisalo M., Stachniak Z.: Depth-Driven Circuit-Level Stochastic Local Search for SAT. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI, 2011), Barcelona, Spain 2011, p. 504-509.
-
3. Ben-Ari M.: Logika matematyczna w informatyce. WNT, Warszawa 2006.