Travelled to:
1 × USA
Collaborated with:
C.M.Li B.Jurkowiak
Talks about:
symmetri (1) procedur (1) integr (1) break (1) dll (1)
Person: Paul Walton Purdom
DBLP: Purdom:Paul_Walton
Contributed to:
Wrote 1 papers:
- SAT-2002-LiJP #symmetry
- Integrating symmetry breaking into a DLL procedure (CML, BJ, PWP), p. 18.