Mark Nicholas Charles Rhodes

According to our database, Mark Nicholas Charles Rhodes authored at least 5 papers between 2007 and 2009.

Collaborative distances:

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

2009

Rank lower bounds in propositional proof systems based on integer linear programming methods.

Mark Nicholas Charles Rhodes

PhD thesis, 2009

On the Chvátal rank of the Pigeonhole Principle.

Mark Nicholas Charles Rhodes

Theor. Comput. Sci., 2009

Tight rank lower bounds for the Sherali-Adams proof system.

Stefan S. Dantchev, Barnaby Martin, Mark Nicholas Charles Rhodes

Theor. Comput. Sci., 2009

2008

Resolution Width and Cutting Plane Rank Are Incomparable.

Mark Nicholas Charles Rhodes

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

2007

Rank Lower Bounds for the Sherali-Adams Operator.

Mark Nicholas Charles Rhodes

Proceedings of the Computation and Logic in the Real World, 2007