Teodor Ivan

According to our database, Teodor Ivan authored at least 2 papers in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Exploring limits of parallelism in FPGA-based Boolean satisfiability.

Teodor Ivan, El Mostapha Aboulhamid

Proceedings of the 2nd Mediterranean Conference on Embedded Computing, 2013

An Efficient Hardware Implementation of a SAT Problem Solver on FPGA.

Teodor Ivan, El Mostapha Aboulhamid

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013