Travelled to:1 × Italy
Collaborated with:B.Becker
Talks about:conflict (1) select (1) branch (1) rule (1) base (1)
Person: Marc Herbstritt
DBLP: Herbstritt:Marc
Contributed to:
Wrote 1 papers:
- SAT-2003-HerbstrittB #branch
- Conflict-Based Selection of Branching Rules (MH, BB), pp. 441–451.












