Travelled to:
2 × USA
Collaborated with:
C.M.Li P.W.Purdom G.Utard
Talks about:
workload (1) symmetri (1) procedur (1) parallel (1) integr (1) balanc (1) dynam (1) break (1) satz (1) use (1)
Person: Bernard Jurkowiak
DBLP: Jurkowiak:Bernard
Contributed to:
Wrote 2 papers:
- SAT-2002-LiJP #symmetry
- Integrating symmetry breaking into a DLL procedure (CML, BJ, PWP), p. 18.
- SAT-2001-JurkowiakLU #using
- Parallelizing Satz Using Dynamic Workload Balancing (BJ, CML, GU), pp. 174–189.