Mirron Rozanov

According to our database, Mirron Rozanov authored at least 1 paper in 2007.

Collaborative distances:

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

2007

Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic.

Mirron Rozanov, Ofer Strichman

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007