|
671 |
The domatic number problem: Boolean hierarchy completeness and exact exponential time algorithms Riege, Tobias, 2006
|
|
|
672 |
The model data overlap Lorenz, Sönke, [2006]
|
|
|
673 |
Topics in discrete mathematics Berlin : Springer, 2006
|
|
|
674 |
Tverberg-type theorems and the fractional Helly property Hell, Stephan, 2006
|
|
|
675 |
Weintrauben, polynome, tableaux Kohnert, Axel, [2006]
|
|
|
676 |
Width functions for hypertree decompositions Adler, Isolde, 2006
|
|
|
677 |
Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2006
|
|
|
678 |
A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization Ghasemzadeh, Mohammad, 2005
|
|
|
679 |
Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
|
|
|
680 |
Algebraic closures in complexity theory Böhler, Elmar, 2005
|
|