• Corpus ID: 246867221

Combinatorial Exploration: An algorithmic framework for enumeration

  title={Combinatorial Exploration: An algorithmic framework for enumeration},
  author={Michael H. Albert and Christian Bean and Anders Claesson and 'Emile Nadeau and Jay Pantone and Henning {\'U}lfarsson},
Combinatorial Exploration is a new domain-agnostic algorithmic framework to automatically and rigorously study the structure of combinatorial objects and derive their counting sequences and generating functions. We describe how it works and provide an open-source Python implementation. As a prerequisite, we build up a new theoretical foundation for combinatorial decomposition strategies and combinatorial specifications. We then apply Combinatorial Exploration to the domain of permutation…