Pages that link to "Item:Q5505539"
From MaRDI portal
The following pages link to Symmetry Breaking for Maximum Satisfiability (Q5505539):
Displaying 10 items.
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- Optimal symmetry breaking for graph problems (Q2009225) (← links)
- Efficient symmetry breaking for SAT-based minimum DFA inference (Q2278273) (← links)
- CDCLSym: introducing effective symmetry breaking in SAT solving (Q2324209) (← links)
- Constraint-based electoral districting using a new compactness measure: an application to Portugal (Q2676289) (← links)
- Reducing symmetries to generate easier SAT instances (Q2848064) (← links)
- Local Symmetry Breaking During Search in CSPs (Q3523057) (← links)
- (Q4475703) (← links)
- Symmetry and Satisfiability: An Update (Q4930583) (← links)
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)