Normal view
MARC view
- Sinz, Carsten
Sinz, Carsten (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Theory and Applications of Satisfiability Testing – SAT 2014, 2014.