Symmetrie uitbuiten in modelexpansie voor predikaten- en propositionele logica KU Leuven
Veel combinatorische optimalisatieproblemen vertonen symmetrie, een eigen- schap die problemen transformeert, maar die de aard van een probleem niet fundamenteel verandert. Bijvoorbeeld, een poule identieke vrachtwagens hernoemen in een planningsprobleem, een schaakbord spiegelen of roteren, of een wiskundige grafe afbeelden op zichzelf, geeft aanleiding tot symmetrie. Een probleem dat veel symmetrie bevat, stelt een uitdaging aan een ...