Pages that link to "Item:Q4930583"
From MaRDI portal
The following pages link to Symmetry and Satisfiability: An Update (Q4930583):
Displaying 8 items.
- Orbital shrinking: theory and applications (Q1786877) (← links)
- Novel techniques to speed up the computation of the automorphism group of a graph (Q2336847) (← links)
- Breaking symmetries in graph search with canonizing sets (Q2398437) (← links)
- Improved Static Symmetry Breaking for SAT (Q2818005) (← links)
- On local domain symmetry for model expansion (Q4593047) (← links)
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)
- A Generic Framework for Engineering Graph Canonization Algorithms (Q5232733) (← links)
- Preprocessing of propagation redundant clauses (Q6053844) (← links)