An Encoding for 3-Coloring with 7V Polynomials Using 2-SAT
Host Department of Applied Mathematics Description This talk is meant to connect with earlier seminar discussions on solving polynomial systems via violator spaces and potential applications of that...