nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An Improved Deterministic #SAT Algorithm for Small de Morgan Formulas
|
Chen, Ruiwen |
|
2015 |
76 |
1 |
p. 68-87 |
artikel |
2 |
Convergence to Equilibrium of Logit Dynamics for Strategic Games
|
Auletta, Vincenzo |
|
2015 |
76 |
1 |
p. 110-142 |
artikel |
3 |
Extending Convex Partial Drawings of Graphs
|
Mchedlidze, Tamara |
|
2015 |
76 |
1 |
p. 47-67 |
artikel |
4 |
Improving Quantum Query Complexity of Boolean Matrix Multiplication Using Graph Collision
|
Jeffery, Stacey |
|
2015 |
76 |
1 |
p. 1-16 |
artikel |
5 |
Inference Algorithms for Pattern-Based CRFs on Sequence Data
|
Kolmogorov, Vladimir |
|
2015 |
76 |
1 |
p. 17-46 |
artikel |
6 |
Model Counting for CNF Formulas of Bounded Modular Treewidth
|
Paulusma, Daniel |
|
2015 |
76 |
1 |
p. 168-194 |
artikel |
7 |
Multi-sided Boundary Labeling
|
Kindermann, Philipp |
|
2015 |
76 |
1 |
p. 225-258 |
artikel |
8 |
Online Network Design with Outliers
|
Anagnostopoulos, Aris |
|
2015 |
76 |
1 |
p. 88-109 |
artikel |
9 |
Parameterized Algorithms for Non-separating Trees and Branchings in Digraphs
|
Bang-Jensen, Jørgen |
|
2015 |
76 |
1 |
p. 279-296 |
artikel |
10 |
Strategyproof Facility Location for Concave Cost Functions
|
Fotakis, Dimitris |
|
2015 |
76 |
1 |
p. 143-167 |
artikel |
11 |
Strict Self-Assembly of Fractals Using Multiple Hands
|
Chalk, Cameron T. |
|
2015 |
76 |
1 |
p. 195-224 |
artikel |
12 |
Triangle Counting in Dynamic Graph Streams
|
Bulteau, Laurent |
|
2015 |
76 |
1 |
p. 259-278 |
artikel |