Pages that link to "Item:Q6488808"
From MaRDI portal
The following pages link to Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808):
Displaying 3 items.
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)
- Exploiting functional constraints in automatic dominance breaking for constraint optimization (Q6488814) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)