Pinned Loading

1. 5GResourceAssignmentGenerator 5GResourceAssignmentGenerator Public

   This is a generator for resource assignment problems on future 5G mobile networks.

   Python 2

2. LargeConferenceMatching LargeConferenceMatching Public

   Matching papers and reviewers at large conferences

   Python 9 1

3. End2EndSAT End2EndSAT Public

   Predicting Satisfiability via End-to-End Learning

   Python 10 1

4. MCFS MCFS Public

   UNSAT Solver Synthesis via Monte Carlo Forest Search (MCFS)

   C++ 3

5. PerilsLearnBeforeOptimize PerilsLearnBeforeOptimize Public

   Experiments from AAAI '22 paper: The Perils of Learning Before Optimizing

   Python