Search for a command to run...
SATNet: Die Brücke zwischen tiefem Lernen und logischem Schließen durch einen differenzierbaren Erfüllbarkeitssolver