Henning Arnór Skeggi Úlfarsson

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

Yngvi Bjornsson

Professor, Reykjavik University

Papers

Automated enumeration of combinatorial classes with proof-number search

Henning Arnór Skeggi Úlfarsson

Henning Arnór Skeggi Úlfarsson
henningu@ru.is

ulfarsson
ulfarsson

Personal site of Henning Arnór Skeggi Úlfarsson, Associate Professor of Computer Science at Reykjavik University. Research in combinatorics, permutation patterns, and algorithms.