Yulik Feldman

According to our database, Yulik Feldman authored at least 1 paper in 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2004

Parallel Multithreaded Satisfiability Solver: Design and Implementation.

Yulik Feldman, Nachum Dershowitz, Ziyad Hanna

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004