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