Boosting Isomorphic Model Filtering with Invariants

João Araújo, Choiwah Chow, Mikoláš Janota

The enumeration of finite models is very important to the working discrete mathematician (algebra, graph theory, etc) and hence the search for effective methods to do this task is…