Henning Ulfarsson

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

Ragnar Páll Árdal

MSc student at Reykjavik University

Ragnar is …

Papers

Automated Enumeration of Combinatorial Classes with Proof-Number Search

Programs

Permuta

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.