Sign in
Alexander C. Rucker
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Sat Solving
Symmetry Breaking
Boolean Satisfiability
Probabilistic Planning
Top Venues
CoRR
</>
Publications
</>
Chenzhuo Zhu
,
Alexander C. Rucker
,
Yawen Wang
,
William J. Dally
SatIn: Hardware for Boolean Satisfiability Inference.
CoRR
(2023)