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