62 citations · 238 across the 21 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.AI2021★ 1 cited
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
Wenxi Wang, Yang Hu, Mohit Tiwari +3
Propositional satisfiability (SAT) is an NP-complete problem that impacts many research fields, such as planning, verification, and security. Mainstream modern SAT solvers are base…
cs.LG2021★ 23 cited
Programming and Training Rate-Independent Chemical Reaction Networks
Marko Vasic, Cameron Chalk, Austin Luchsinger +2
Embedding computation in biochemical environments incompatible with traditional electronics is expected to have wide-ranging impact in synthetic biology, medicine, nanofabrication…
cs.SE2021★ 1 cited
Distributed Symbolic Execution using Test-Depth Partitioning
Shikhar Singh, Sarfraz Khurshid
Symbolic execution is a classic technique for systematic bug finding, which has seen many applications in recent years but remains hard to scale. Recent work introduced ranged symb…