Henning Ulfarsson

CV Papers Talks Research Projects Programs Co-authors Students & postdocs General

Yngvi Bjornsson

Professor, Reykjavik University

Yngvi is …

Papers

Automated Enumeration of Combinatorial Classes with Proof-Number Search

Papers outside of the group

Henning Ulfarsson

Henning Ulfarsson
henningu@ru.is

ulfarsson
ulfarsson

Personal site of Henning Ulfarsson, Associate Professor of Computer Science at Reykjavik University. Research in combinatorics, permutation patterns, and algorithms.