Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitlePredicting the satisfiability of Boolean formulas by incorporating gated recurrent unit (GRU) in the Transformer framework.AuthorsChang, Wenjing; Guo, Mengyu; Luo, JunweiPublicationPeerJ Computer Science, 2024, p1ISSN2376-5992Publication typeArticleDOI10.7717/peerj-cs.2169