Pages that link to "Item:Q5740179"
From MaRDI portal
The following pages link to Max-Closed Semilinear Constraint Satisfaction (Q5740179):
Displaying 8 items.
- Tractability conditions for numeric CSPs (Q683751) (← links)
- Solving linear, min and max constraint systems using CLP based on relational interval arithmetic (Q1391939) (← links)
- The tropical analogue of the Helton-Nie conjecture is true (Q1994125) (← links)
- Core-boosted linear search for incomplete MaxSAT (Q2327238) (← links)
- Solving RCPSP/max by lazy clause generation (Q2434317) (← links)
- Query-guided maximum satisfiability (Q2828249) (← links)
- Maximum Constraint Satisfaction on Diamonds (Q3524191) (← links)
- Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)