Travelled to:
1 × USA
Collaborated with:
F.A.Aloul K.Sakallah
Talks about:
backtrack (1) progress (1) solver (1) search (1) measur (1) tool (1)
Person: Brian Sierawski
DBLP: Sierawski:Brian
Contributed to:
Wrote 1 papers:
- SAT-2002-AloulSS #backtracking
- A tool for measuring progress of backtrack-search solvers (FAA, BS, KS), p. 28.