Ragnar Pall Ardal

MSc student at Reykjavik University

Ragnar is …

Papers

• Automated Enumeration of Combinatorial Classes with Proof-Number Search

Programs

• Permuta

Papers outside of the group