An improved deterministic local search algorithm for 3-SAT

T. Brueggemann (Speaker)

Activity: Talk or presentationOral presentation

Period1 Jun 2004
Event title3rd Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2004
Event typeWorkshop
Conference number3
LocationMilano, Italy