Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A primal branch-and-cut algorithm for the degree-constrained minimum spanning tree problem | 0 | 0.34 | 2007 |
| 0/1 Vertex and Facet Enumeration with BDDs | 19 | 0.80 | 2007 |
| BDDs in a branch and cut framework | 12 | 0.85 | 2005 |
| Bounded Model Checking and Inductive Verication of Hybrid Discrete-continuous Systems | 3 | 0.44 | 2004 |