Rick Plachetta

According to our database, Rick Plachetta authored at least 1 paper in 2021.

Collaborative distances:

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

2021

SAT-and-Reduce for Vertex Cover: Accelerating Branch-and-Reduce by SAT Solving.

Rick Plachetta, Alexander van der Grinten

Proceedings of the Symposium on Algorithm Engineering and Experiments, 2021