The following pages link to SOFT (Q16017):
Displayed 4 items.
- Fast summation of functions on the rotation group (Q600861) (← links)
- Conditional lexicographic orders in constraint satisfaction problems (Q846134) (← links)
- Lexicographically-ordered constraint satisfaction problems (Q2267804) (← links)
- Propagation via lazy clause generation (Q2272160) (← links)