Radislav Vaisman

1 catalog papers. Identity-linked publications and additional name matches are distinguished below.

ORCID: 0000-0001-9875-0616

School of Mathematics and Physics, The University of Queensland, Brisbane 4072, Australia

Publications

• Model Counting of Monotone Conjunctive Normal Form Formulas with Spectra — INFORMS Journal on Computing 2015