Explore projects

Chronological Backtracking, NIET dat andere...

A 2k parallel kernel for the cluster editing problem

This is a mirror of https://github.com/tomsmeding/efficient-chad-agda on UU-owned storage. This is the artifact for https://arxiv.org/abs/2307.05738 , submitted to POPL 2024.

Implementation of NLN_igs for my master's thesis.