Publication
(All)

Results 1-1 of 1 (Search time: 0.022 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
120162QBF: Challenges and SolutionsValeriy Balabanov; Jie-Hong Rol; Jiang, Christoph Scholl; Alan Mishchenko; Robert K. Brayton; JIE-HONG JIANG Int'l Conf. on Theory and Applications of Satisfiability Testing (SAT) 70