### Table 5.1: Analogy between chiral symmetry breaking in QCD and the BCS theory of superconductors [60]

1996

### Table 1: Comparison between the dynamical breaking of chiral symmetry in QCD and the dynamical breaking of gauge symmetry in the BCS theory.

"... In PAGE 3: ...Table1 shows a brief comparison between QCD and the BCS theory for \low temperature quot; superconductivity.... ..."

### Table 2: Symmetry and Chirality Measures of Phosphates. Compound

"... In PAGE 32: ...ef. 3). It follows that unless the tetrahedral distortion is symmetric itself (for instance one of the vertices is pulled out into a C3v tetrahedron), phosphates are, by and large, chiral. Table2 collects the CSM and CCM analysis of a number of phosphates from a compilation of phosphate-coordinates45. Measures of tetrahedricity, C3v-ness and chirality are shown.... ..."

### Table 1. Tractability of symmetry breaking and dominance detection

"... In PAGE 35: ... Unfortunately, efficient symmetry breaking by such dominance-detection schemes has its limits, as we have identified some CSP classes where dominance detection is intractable. Table1 summarizes our main results, where P (Thm i) means that breaking all the symmetries mentioned in the corresponding row is feasible with a poly- nomial overhead with respect to both time and space at every node explored for the corresponding (set-) CSP in the column, as proved in Theorem i. Some of these positive tractability results, namely the ones marked P (from Thm i) , are trivially derivable as consequences from Theorem i.... ..."

Cited by 1

### Table 2. History of the symmetry breaking perturbations.

1991

Cited by 1

### Table 3. Addition of symmetry-breaking predicates

"... In PAGE 5: ... Howev- er, even if the original instance was not satisfiable, the num- ber of equivalent roads leading nowhere would be reduced, and a generic SAT solver is likely to conclude much faster that no solution exists. This intuition is confirmed by the data in Table3 (whose lay- out is identical to that of Table 2.) The benchmarks in this experiment are members of the unsatisfiable hole suite (which relates to the Pigeonhole principle.... ..."

### Table 2. Dynamic symmetry breaking for LP with CP search control

2004

"... In PAGE 3: ... Then the birth constraint states that either xi;j is alive or one of the elements of N(i; j) ? S is alive: ?xij + X (i0j0)2S xi0j0 ? X (i0j0)2N(i;j)?S xi0j0 2 (3) One of these constraints is defined for every subset S, which is ap- proximately N3 constraints. Table2 compares this LP formulation with no symmetry, and the same formulation with the integration of SBDS and GAP-SBDS. Table 2.... ..."

Cited by 3

### Table 2. Dynamic symmetry breaking for LP with CP search control

2004

"... In PAGE 3: ... Then the birth constraint states that either a56 a37a34a82a57 is alive or one of the elements of a52a65a9a34a58a67a66a68a59a20a12a111a110a112a109 is alive: a110a113a56 a37 a57 a44 a72 a73 a37a78a74 a57a76a74a106a77a80a79a50a114 a56 a37a75a74 a57a83a74 a110 a72 a73 a37a78a74 a57a76a74a106a77a80a79a50a81 a73 a37a34a82a57a107a77a11a115a116a114 a56 a37a75a74 a57a76a74a85a84 a94 (3) One of these constraints is defined for every subset S, which is ap- proximately a52 a69 constraints. Table2 compares this LP formulation with no symmetry, and the same formulation with the integration of SBDS and GAP-SBDS. Table 2.... ..."

Cited by 3