Theory and applications of satisfiability testing--SAT 2008 by SAT 2008 (2008 Guangzhou, China) cover

Theory and applications of satisfiability testing--SAT 2008

by SAT 2008 (2008 Guangzhou, China)

Genre: ai

Description

Theory and applications of satisfiability testing--SAT 2008 by SAT 2008 (2008 Guangzhou, China). Read online or download for free.