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