Abstract:Dedicated treatment of symmetries in satisfiability problems (SAT) is indispensable for solving various classes of instances arising in practice. However, the exploitation of symmetries usually takes a black box approach. Typically, off-the-shelf external, general-purpose symmetry detection tools are invoked to compute symmetry groups of a formula. The groups thus generated are a set of permutations passed to a separate tool to perform further analyzes to understand the structure of the groups. The result of this second computation is in turn used for tasks such as static symmetry breaking or dynamic pruning of the search space. Within this pipeline of tools, the detection and analysis of symmetries typically incurs the majority of the time overhead for symmetry exploitation. In this paper we advocate for a more holistic view of what we call the SAT-symmetry interface. We formulate a computational setting, centered around a new concept of joint graph/group pairs, to analyze and improve the detection and analysis of symmetries. Using our methods, no information is lost performing computational tasks lying on the SAT-symmetry interface. Having access to the entire input allows for simpler, yet efficient algorithms. Specifically, we devise algorithms and heuristics for computing finest direct disjoint decompositions, finding equivalent orbits, and finding natural symmetric group actions. Our algorithms run in what we call instance-quasi-linear time, i.e., almost linear time in terms of the input size of the original formula and the description length of the symmetry group returned by symmetry detection tools. Our algorithms improve over both heuristics used in state-of-the-art symmetry exploitation tools, as well as theoretical general-purpose algorithms.

Symmetry Detection Algorithm in Design for Assembly

Detecting Design Intent in Approximate CAD Models Using Symmetry.

Digital twin model-based smart assembly strategy design and precision evaluation for PCB kit-box build

S<sup>3</sup>DET: Detecting System Symmetry Constraints for Analog Circuits with Graph Similarity

Reconstructing Symmetry Plane by Feature Matching

A Digital Twin-Based Method for Assembly Deviations Analysis

Motion data integration and monitoring of digital assembly system of aircraft

Optimal placement of measurement points on large aircraft fuselage panels in digital assembly

Multiresolution Rotational Symmetry Detection Via Radius-Based Frieze-Expansion.

Symmetry Groups of Mechanical Parts and Its Application in Design for Assembly

A Hierarchical Symmetry Detection Algorithm Based on Voxelization

A generic approach for analysis of mechanical assembly

Part Assembly Efficiency Prediction Model Based on Multi-symmetry Features

3D Symmetry Detection by a Single Image and Geometric Transformation

Geometric Design Model and Object Scanning Mode Based Virtual Assembly and Repair Analysis

Automatic System to Measure Mechanical Parts Based on Edge Detection

Algorithms Transcending the SAT-Symmetry Interface

Symmetry-Aware Robot Design with Structured Subgroups

A Modeling Method of Complex Assembly Based on Digital Twin

Constrain based method for describing and inferring position of assemblies

Analysis on Image Symmetry Detection Algorithms