![](/img/cover-not-exists.png)
[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - SAT-Based Big-Step Local Search
Muslimany, Morad, Codish, MichaelYear:
2018
Language:
english
DOI:
10.1109/synasc.2018.00029
File:
PDF, 145 KB
english, 2018