Authors: Zeven, Koen (author)
Contributors: Cames van Batenburg, W.P.S. (mentor), Bishnoi, A. (mentor), Delft University of Technology (degree granting institution)
Subject Terms: graph theory, graph coloring, reconfiguration, diameter, complete r-partite graphs, r-partite, lower bound, matching
Authors: Schaafsma, B.J. (author)
Contributors: Heule, M.J.H. (mentor), Van Maaren, H. (mentor), Witteveen, C. (mentor)
Subject Terms: Satisfiability, Graph coloring, Symmetry breaking, Conflict-driven learning