Login / Signup
Christopher Chuvalas
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Davis Putnam
Max Sat
Stochastic Local Search
Boolean Satisfiability
Top Venues
VLSI-SoC
MWSCAS
</>
Publications
</>
Christopher Chuvalas
,
Ranga Vemuri
FPGA Acceleration of a Stochastic Local Search Portfolio Solver for Boolean Satisfiability.
MWSCAS
(2022)
Christopher Chuvalas
,
Ranga Vemuri
FPGA-Based Stochastic Local Search Satisfiability Solvers Exploiting High Bandwidth Memory.
VLSI-SoC
(2022)