Automatic discovery of conjectured covers of combinatorial classes
Christian, Anders, Bjarki, Bjarni and Henning
This project started with an IRF grant in 2014 and the hiring of
Christian as a PhD student.
The idea is to guess an exact cover a combinatorial class. Currently we have
a program that does this in the case of a permutation class.