Login / Signup
Rick Plachetta
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Sat Solving
Vertex Cover
Evolutionary Algorithm
Top Venues
ALENEX
</>
Publications
</>
Rick Plachetta
,
Alexander van der Grinten
SAT-and-Reduce for Vertex Cover: Accelerating Branch-and-Reduce by SAT Solving.
ALENEX
(2021)