Neuer Parallel-Algorithmus übertrifft Beste Methoden beim Zählen exakter Deckungen
In der Künstlichen Intelligenz ist das Problem der exakten Deckungen ein klassisches NP‑schweres Problem, das in vielen Bereichen Anwendung findet. Ein neues Verfahren namens DXD nutzt dafür eine kompakte Darstellung, d…