Pages that link to "Item:Q3448790"
From MaRDI portal
The following pages link to Constraint Satisfaction Problems over the Integers with Successor (Q3448790):
Displaying 11 items.
- Distance constraint satisfaction problems (Q259047) (← links)
- Constraint satisfaction and semilinear expansions of addition over the rationals and the reals (Q269512) (← links)
- Tropically convex constraint satisfaction (Q1635805) (← links)
- Circuit satisfiability and constraint satisfaction around Skolem arithmetic (Q1676359) (← links)
- The wonderland of reflections (Q1709740) (← links)
- Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic (Q3188272) (← links)
- A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
- (Q4643959) (← links)
- Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
- (Q5005133) (← links)
- Max-Closed Semilinear Constraint Satisfaction (Q5740179) (← links)
