Picture for Jukka Kohonen

Jukka Kohonen

Aalto University, Department of Computer Science

An adaptive prefix-assignment technique for symmetry reduction

Add code
Sep 08, 2018
Figure 1 for An adaptive prefix-assignment technique for symmetry reduction
Viaarxiv icon