Qu, Shen, S.M. Massachusetts Institute of Technology
(Massachusetts Institute of Technology, 2006)
The propositional satisfiability problem has been studied extensively due to its theoretical significance and applicability to a variety of fields including diagnosis, autonomous control, circuit testing, and software ...