Travelled to:1 × Canada
Collaborated with:∅
Talks about:constraint (1) satisfact (1) problem (1) random (1) that (1) seem (1) hard (1) dpll (1)
Person: Harold S. Connamacher
DBLP: Connamacher:Harold_S=
Contributed to:
2004Wrote 1 papers:
- SAT-2004-Connamacher #constraints #problem #random
- A Random Constraint Satisfaction Problem That Seems Hard for DPLL (HSC), pp. 3–11.