Shatter: efficient symmetry-breaking for boolean satisfiability
Proceedings of the 40th annual Design Automation Conference
The number of guillotine partitions in d dimensions
Information Processing Letters
Introduction to partially ordered patterns
Discrete Applied Mathematics
Nash Equilibria for Voronoi Games on Transitive Graphs
WINE '09 Proceedings of the 5th International Workshop on Internet and Network Economics
The number of guillotine partitions in d dimensions
Information Processing Letters
The lattice of embedded subsets
Discrete Applied Mathematics
Codes in permutations and error correction for rank modulation
IEEE Transactions on Information Theory
Graph and matrix metrics to analyze ergodic literature for children
Proceedings of the 23rd ACM conference on Hypertext and social media
Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels
Electronic Notes in Theoretical Computer Science (ENTCS)
Recurrent Construction of MacWilliams and Chebyshev Matrices
Fundamenta Informaticae - Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju
Hi-index | 0.06 |