Weight Resets in Local Search for SAT
| Autor: | Abdelraouf Ishtaiwi, Ghassan Issa, Nawaf Ali, Wael Hadi |
|---|---|
| Rok vydání: | 2019 |
| Předmět: | |
| Zdroj: | International Journal of Machine Learning and Computing. 9:874-879 |
| ISSN: | 2010-3700 |
| DOI: | 10.18178/ijmlc.2019.9.6.886 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|