Liudmila D. Cheremisinova, Dmitry Ya. Novikov. SAT-based group method for verification of logical descriptions with functional indeterminacy. In 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010. pages 25-28, IEEE, 2010. [doi]
Abstract is missing.