Divide and conquer: Towards faster pseudo-boolean solving

Jan Elffers, Jakob Nordström

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Divide and conquer: Towards faster pseudo-boolean solving”. Tillsammans bildar de ett unikt fingeravtryck.

Material Science

Computer Science

Engineering