Yumi K. Tsuji

According to our database, Yumi K. Tsuji authored at least 1 paper in 1993.

Collaborative distances:

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

1993

Satisfiability testing with more reasoning and less guessing.

Allen Van Gelder, Yumi K. Tsuji

Proceedings of the Cliques, 1993