Pages that link to "Item:Q5705929"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705929):
Displaying 4 items.
- Interchangeability with thresholds and degradation factors for soft CSPs (Q353304) (← links)
- Efficient handling of universally quantified inequalities (Q1020499) (← links)
- Non-binary quantified CSP: Algorithms and modelling (Q1037645) (← links)
- Solving quantified constraint satisfaction problems (Q2389634) (← links)