Pages that link to "Item:Q5067445"
From MaRDI portal
The following pages link to When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems (Q5067445):
Displaying 4 items.
- Reducing symmetries to generate easier SAT instances (Q2848064) (← links)
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)
- On the descriptive complexity of temporal constraint satisfaction problems (Q6567262) (← links)
- Smooth approximations and CSPs over finitely bounded homogeneous structures (Q6649468) (← links)