Constraint Programming

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Constraint Programming.

• Symmetry-breaking constraints — Additional constraints in a satisfaction or optimization model that retain at least one representative from each symmetry orbit while excluding equivalent assignments, reducing redundant search without changing feasibility up to symmetry.