arXiv:1607.03329 [quant-ph]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords construction, assessment, simulated quantum annealing, construct satisfiability filters, open-source sat solver Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset