Pages that link to "Item:Q4420771"
From MaRDI portal
The following pages link to Fine-grained conflict resolution in constraint satisfaction problems (Q4420771):
Displaying 5 items.
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- Reasoning from last conflict(s) in constraint programming (Q1045989) (← links)
- Revisiting global constraint satisfaction (Q1129109) (← links)
- Capturing Conflict and Confusion in CSP (Q3608892) (← links)
- Constraint updating (Q4420770) (← links)