Yevgeny Lipen

According to our database, Yevgeny Lipen authored at least 1 paper in 2003.

Collaborative distances:

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

2003

MFSAT: A SAT Solver Using Multi-Flip Local Search.

Amol Dattatraya Mali, Yevgeny Lipen

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003