Transfer Learning von grundlegenden Optimierungs-Embeddings zu unüberwachten SAT-Darstellungen

arXiv:2604.15448v1 Ankündigungstyp: neu Abstract: Grundlegende Optimierungs-Embeddings sind kürzlich als leistungsstarke vortrainierte Darstellungen für Mixed-Integer-Programming-Probleme (MIP) entstanden. Diese Embeddings zeigten, dass sie domänenübergreifende Transfers ermöglichen und die Abhängigkeit von Solver-generierten Labels reduzieren…