Pages that link to "Item:Q4593047"
From MaRDI portal
The following pages link to On local domain symmetry for model expansion (Q4593047):
Displaying 4 items.
- Lifting symmetry breaking constraints with inductive logic programming (Q2163186) (← links)
- Unifying Local and Nonlocal Modelling of Respective and Symmetrical Predicates (Q2921947) (← links)
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)