v1v2 (latest)

Breaking Symmetries in Graph Search with Canonizing Sets

25 November 2015

Papers citing "Breaking Symmetries in Graph Search with Canonizing Sets"

3 / 3 papers shown

Title
Co-Certificate Learning with SAT Modulo Symmetries Markus Kirchweger Tomávs Peitl Stefan Szeider 24 14 0 17 Jun 2023
Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems David E. Narváez 20 1 0 17 Nov 2017
An adaptive prefix-assignment technique for symmetry reduction Tommi A. Junttila Matti Karppa P. Kaski J. Kohonen 22 7 0 26 Jun 2017