Travelled to:1 × Greece
1 × Italy
1 × USA
Collaborated with:X.Y.Li F.Brglez H.N.Gabow
Talks about:effici (2) effect (2) intersect (1) algorithm (1) techniqu (1) strategi (1) problem (1) matroid (1) graphic (1) switch (1)
Person: Matthias F. M. Stallmann
DBLP: Stallmann:Matthias_F=_M=
Contributed to:
2005
2003
1985Wrote 3 papers:
- DAC-2005-LiSB #bound #effectiveness #problem
- Effective bounding techniques for solving unate and binate covering problems (XYL, MFMS, FB), pp. 385–390.
- SAT-2003-LiSB #effectiveness #performance #satisfiability #using
- A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation (XYL, MFMS, FB), pp. 53–68.
- ICALP-1985-GabowS #algorithm #performance
- Efficient Algorithms for Graphic Matroid Intersection and Parity (HNG, MFMS), pp. 210–220.