Voorstelling-, oplossing- en leervraagstukken betreffende optimalisatieproblemen met logische randvoorwaarden KU Leuven
De learn + solve strategie combineert machinaal leren en automatisch redeneren.
Eerst wordt er uit data een formeel model geleerd, daarna wordt er een "general purpose solver" gebruikt om een oplossing voor het geleerde model te vinden.
Door deze modellen automatisch te leren kunnen gebruikers die niet vertrouwd zijn met formele modelleringstalen gebruik maken van krachtige solvers.
De geleerde modellen kunnen gemakkelijk ...