,

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.

, , , и .
SAT, том 12178 из Lecture Notes in Computer Science, стр. 481-491. Springer, (2020)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии