Normal view MARC view

SpringerLink (Online service) (Corporate Name)

Preferred form: SpringerLink (Online service)

Machine generated authority record.

Work cat.: (OSt): Theory and Applications of Satisfiability Testing - SAT 2013