The universe
Once we have a signature Σ, our universe of candidates is the term algebra T_Σ. It holds all the things we can score, but does not yet indicate which part of the universe constitutes the search space for a particular problem.
background image
university bielefeld AG PI BiBiServ
ambient picture