Login / Signup
Teodor Ivan
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Sat Instances
Xilinx Virtex
Sat Problem
Phase Transition
Top Venues
MECO
DSD
</>
Publications
</>
Teodor Ivan
,
El Mostapha Aboulhamid
Exploring limits of parallelism in FPGA-based Boolean satisfiability.
MECO
(2013)
Teodor Ivan
,
El Mostapha Aboulhamid
An Efficient Hardware Implementation of a SAT Problem Solver on FPGA.
DSD
(2013)