Yngvi Bjornsson

Professor, Reykjavik University

Yngvi is …

Papers

• Automated Enumeration of Combinatorial Classes with Proof-Number Search

Papers outside of the group