On division versus saturation in pseudo-boolean solving

Stephan Gocht, Jakob Nordström, Amir Yehudayoff

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Fingeravtryck

Fördjupa i forskningsämnen för ”On division versus saturation in pseudo-boolean solving”. Tillsammans bildar de ett unikt fingeravtryck.

Mathematics

Economics, Econometrics and Finance

Engineering

Neuroscience

Agricultural and Biological Sciences