Vol-2045⫷ Vol-2046 ⫸Vol-2047
urn:nbn:de:0074-2046-0


Vol-2046/kovacs-szabados⫷Vol-2046/kovasznai⫸Vol-2046/lukacs-et-al
Gergely Kovásznai

What is the state-of-the-art in DQBF solving?