Normal view
MARC view
SAT 2008 (2008 : Guangzhou, China) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): SAT 2008 (2008 : Guangzhou, China), Theory and applications of satisfiability testing--SAT 2008 :, ©2008.