Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ayala, C. L."'
AmbSAT (or AmoebaSAT) is a biologically-inspired stochastic local search (SLS) solver to explore solutions to the Boolean satisfiability problem (SAT). AmbSAT updates multiple variables in parallel at every iteration step, and thus AmbSAT can find so
Externí odkaz:
http://arxiv.org/abs/1812.11792
Publikováno v:
2015 15th International Superconductive Electronics Conference (ISEC); 2015, p1-3, 3p
