Jan Burchard

Applying advanced SAT-based techniques to circuit testing.
. University of Freiburg, Freiburg im Breisgau, Germany, (2018)
  •  :
  •  :
далее