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.