Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Rucker, Alexander C."'
This paper describes SatIn, a hardware accelerator for determining boolean satisfiability (SAT) -- an important problem in many domains including verification, security analysis, and planning. SatIn is based on a distributed associative array which p
Externí odkaz:
http://arxiv.org/abs/2303.02588
