The following pages link to (Q5435012):
Displayed 6 items.
- Implementing logical connectives in constraint programming (Q622127) (← links)
- The complexity of solitaire (Q1034532) (← links)
- Auto-tabling for subproblem presolving in MiniZinc (Q1701238) (← links)
- A new branch-and-filter exact algorithm for binary constraint satisfaction problems (Q2077912) (← links)
- Compiling CP subproblems to MDDs and d-DNNFs (Q2331104) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)