Steve Joy

According to our database, Steve Joy authored at least 1 paper in 1996.

Collaborative distances:

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

1996

A branch and cut algorithm for MAX-SAT and weighted MAX-SAT.

Steve Joy, John E. Mitchell, Brian Borchers

Proceedings of the Satisfiability Problem: Theory and Applications, 1996