We engineer a preprocessor for symmetry detection. The result is a tool designed to shrink sparse, large substructures of the input graph. On most of the practical instances, the prepro- cessor improves the overall running time significantly for many of the state-of-the-art solvers.
Feb 13, 2023
Feb 13, 2023 · We engineer a preprocessor for symmetry detection. The result is a tool designed to shrink sparse, large substructures of the input graph. On ...
Jul 19, 2023 · We engineer a preprocessor for symmetry detection. The result is a tool designed to shrink sparse, large substructures of the input graph.
A preprocessor for symmetry detection is engineer, designed to shrink sparse, large substructures of the input graph, which significantly outperforms ...
We engineer a preprocessor for symmetry detection. The result is a tool designed to shrink sparse, large substructures of the input graph. On most of the ...
The sassy preprocessor is designed to shrink large, sparse graphs. Before giving a graph to an off-the-shelf symmetry detection solver (such as bliss, ...
Engineering a Preprocessor for Symmetry Detection. M. Anders, P. Schweitzer, and J. Stieß. SEA, volume 265 of LIPIcs, page 1:1-1:21. Schloss Dagstuhl ...
We improve symmetry detection of CNF formulas through the use of adapted. SAT preprocessing: we reduce the time needed for state-of-the-art symmetry detection ...
Engineering a preprocessor for symmetry detection. In 21st International Symposium on Experimental Algorithms,. SEA 2023, July 24-26, 2023, Barcelona, Spain ...
Abstract—We present an algorithm that detects rotational and reflectional symmetries of two-dimensional objects. Both symmetry types are effectively ...