2 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
Yuri Malykhin, Evgeny Shchepin
We introduce an algorithm for a search of extremal fractal curves in large curve classes. It heavily uses SAT-solvers~ -- heuristic algorithms that find models for CNF boolean form…