Pages that link to "Item:Q5900299"
From MaRDI portal
The following pages link to Principles and Practice of Constraint Programming – CP 2004 (Q5900299):
Displaying 15 items.
- An experiment with satisfiability modulo SAT (Q287334) (← links)
- The existence of irrational diagonally ordered magic squares (Q343778) (← links)
- Information-theoretic approaches to branching in search (Q429675) (← links)
- Existence of Yang Hui type magic squares (Q497319) (← links)
- Computer-aided proof of Erdős discrepancy properties (Q892235) (← links)
- Alternating control tree search for knapsack/covering problems (Q972644) (← links)
- The existence and application of strongly idempotent self-orthogonal row Latin magic arrays (Q1617009) (← links)
- In search of balance: the challenge of generating balanced Latin rectangles (Q2011576) (← links)
- New ways to multiply \(3 \times 3\)-matrices (Q2229749) (← links)
- Large-scale parallelism for constraint-based local search: the costas array case study (Q2342606) (← links)
- Streamlining variational inference for constraint satisfaction problems (Q5854105) (← links)
- (Q5868489) (← links)
- (Q6119041) (← links)
- Automated streamliner portfolios for constraint satisfaction problems (Q6161503) (← links)
- The existence of irrational most perfect magic squares (Q6186999) (← links)
